SUMO   View all facts   Glossary   Help
unparented > true
Next unparentedwidth    Upunparented    Previous unparentedtraverses   

true comparison table
Subject have relatedInternalConcept documentation have domain2 have domain1 have axiom
unparented     
trueTruthFnThe BinaryPredicate that relates a Sentence to its TruthValueTruthValueSentence
(=>
(knows ?AGENT ?FORMULA)
(true ?FORMULA True))

Next unparentedwidth    Upunparented    Previous unparentedtraverses