Sentence Comparison Table

Next LinguisticExpression: SymbolicString Up: LinguisticExpression Previous LinguisticExpression: Phrase

Sentence comparison table

Subject documentation be second domain of be first domain of have axiom

Formula A syntactically well-formed formula in the SUO-KIF knowledge representation language or or
(=>
(and
(instance ?INVESTIGATE Investigating)
(patient ?INVESTIGATE ?PROP))
(instance ?PROP Formula))

Question The class of Sentences that ask a Question subsumesContentInstance TruthFn
(=>
(and
(subsumesContentInstance ?SENT1 ?SENT2)
(instance ?SENT1 Sentence)
(instance ?SENT2 Sentence))
(=> ?SENT1 ?SENT2))

Subject	documentation	be second domain of	be first domain of	have axiom
Formula	A syntactically well-formed formula in the SUO-KIF knowledge representation language	or	or	(=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula))
Question	The class of Sentences that ask a Question	subsumesContentInstance	TruthFn	(=> (and (subsumesContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (=> ?SENT1 ?SENT2))

Next LinguisticExpression: SymbolicString Up: LinguisticExpression Previous LinguisticExpression: Phrase