SUMO   View all facts   Glossary   Help
Entity > Physical > Object > ContentBearingObject > LinguisticExpression > Sentence > Formula
Next Sentence: Question    Up: Sentence

Formula comparison table
Subject documentation is a kind of be second domain of be first domain of have axiom
SentenceA syntactically well-formed formula of a natural or artificial Language. It expresses a complete thought, i.e., a PropositionLinguisticExpressionsubsumesContentInstanceTruthFn
(=>
    (and
       (subsumesContentInstance ?SENT1 ?SENT2)
       (instance ?SENT1 Sentence)
       (instance ?SENT2 Sentence))
    (=> ?SENT1 ?SENT2))
FormulaA syntactically well-formed formula in the SUO-KIF knowledge representation languageSentenceoror
(=>
    (and
       (instance ?INVESTIGATE Investigating)
       (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))

Next Sentence: Question    Up: Sentence