TruthValue concept from the SUMO knowledge base

Next Attribute: BiologicalProperty Up: Attribute Previous Attribute: TextureProperty

TruthValue

subject fact

TruthValue documentation The Class of truth values, e.g. True and False. These are Attributes of Sentences 2001-11-30 13:35:29.0
is second domain of true
is second domain of TruthFn
is a kind of Attribute

Attribute is disjoint from Quantity 2001-11-30 13:33:40.0
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)))))
2001-11-30 13:33:32.0

Kinds of TruthValue :

TruthValue	*documentation* The Class of truth values, e.g. True and False. These are Attributes of Sentences
	*is second domain* of** true
	*is second domain* of** TruthFn
	is a kind of Attribute
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)))))