SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > TruthValue > False

False
subject			fact

False	documentation The TruthValue of being false
	has contraryProperty True
	is an instance of TruthValue
TruthValue	is second domain of true
	is second domain of TruthFn
Attribute	is disjoint from Quantity
	is first domain of contraryProperty
	is first domain of ExtensionFn
	is first domain of subAttribute
	is first domain of successorAttribute
	is first domain of successorAttributeClosure
Abstract	has axiom (<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))