Question concept from the SUMO knowledge base

Next Sentence: Formula Up: Sentence

Next Sentence: Formula Up: Sentence

Question	*documentation* The class of Sentences that ask a Question
Question	is a kind of Sentence
Sentence	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE))))
	has axiom (=> (instance ?TEXT Text) (exists (?PART1 ?PART2) (and (part ?PART1 ?TEXT) (part ?PART2 ?TEXT) (instance ?PART1 Sentence) (instance ?PART2 Sentence) (not (equal ?PART1 ?PART2)))))
	has axiom (=> (and (equivalentContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (<=> ?SENT1 ?SENT2))
	has axiom (=> (and (subsumesContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (=> ?SENT1 ?SENT2))
	*is first domain* of** sentenceOfLanguage
	*is first domain* of** true
	*is first domain* of** TruthFn
LinguisticExpression	*is disjoint* from** Icon
ContentBearingObject	has relatedInternalConcept containsInformation
	*is second domain* of** equivalentContentClass
	*is second domain* of** equivalentContentInstance
	*is second domain* of** subsumesContentClass
	*is second domain* of** subsumesContentInstance
Object	*is third domain* of** between
	*is third domain* of** capability
	*is third domain* of** connects


Question
subject			fact