SUMO   View all facts   Glossary   Help

Entity > Physical > Object > ContentBearingObject > LinguisticExpression > Sentence > Formula

Formula
subject			fact

Formula	documentation A syntactically well-formed formula in the SUO-KIF knowledge representation language
	has axiom (=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula))
	is first domain of <=>
	is first domain of =>
	is first domain of and
	is first domain of entails
	is first domain of not
	is first domain of or
	is second domain of <=>
	is second domain of =>
	is second domain of and
	is second domain of believes
	is second domain of considers
	is second domain of desires
	is second domain of entails
	is second domain of hasPurpose
	is second domain of hasPurposeForAgent
	is second domain of holdsDuring
	is second domain of KappaFn
	is second domain of knows
	is second domain of or
	is a kind of Sentence
LinguisticExpression	is disjoint from Icon
ContentBearingObject	has relatedInternalConcept containsInformation
Object	is third domain of between
	is third domain of capability
	is third domain of connects

Next Sentence: Question    Up: Sentence