SUMO   View all facts   Glossary   Help

Entity > Physical > Object > ContentBearingObject > LinguisticExpression > Sentence

Sentence
subject			fact

Sentence	documentation A syntactically well-formed formula of a natural or artificial Language. It expresses a complete thought, i.e., a Proposition
	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
	is a kind of LinguisticExpression
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

Kinds of Sentence :

• Formula (22 facts) - A syntactically well-formed formula in the SUO-KIF knowledge representation language
• Question (2 facts) - The class of Sentences that ask a Question

Next LinguisticExpression: SymbolicString    Up: LinguisticExpression    Previous LinguisticExpression: Phrase