SUMO   View all facts   Glossary   Help
unparented > true
Next unparented: width    Up: unparented    Previous unparented: traverses   

true
subjectfact 
truedocumentation The BinaryPredicate that relates a Sentence to its TruthValue2001-11-30 13:35:29.0
has axiom 
(=>
    (knows ?AGENT ?FORMULA)
    (true ?FORMULA True))
2001-11-30 13:35:29.0
has domain1 Sentence2001-11-30 13:35:29.0
has domain2 TruthValue2001-11-30 13:35:29.0
has relatedInternalConcept TruthFn2001-11-30 13:35:29.0