SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > TruthValue
Next Attribute: BiologicalProperty    Up: Attribute    Previous Attribute: TextureProperty   

TruthValue comparison table
Subject documentation have axiom have contraryProperty
FalseThe TruthValue of being false
(<=> 
 	(instance ?ABS Abstract)
       	(not 
 	      (exists (?POINT) 
                    (or 
 		        (located ?ABS ?POINT)
                     (existant ?ABS ?POINT)))))
True
TrueThe TruthValue of being true
(=>
    (knows ?AGENT ?FORMULA)
    (true ?FORMULA True))
 

Next Attribute: BiologicalProperty    Up: Attribute    Previous Attribute: TextureProperty