SUMO View all facts Glossary Help |
Entity > Physical > Object > ContentBearingObject > LinguisticExpression > Sentence > Formula |
Formula comparison table |
Subject | documentation | is a kind of | be second domain of | be first domain of | have axiom |
---|---|---|---|---|---|
Sentence | A syntactically well-formed formula of a natural or artificial Language. It expresses a complete thought, i.e., a Proposition | LinguisticExpression | subsumesContentInstance | TruthFn | (=> |
Formula | A syntactically well-formed formula in the SUO-KIF knowledge representation language | Sentence | or | or | (=> |