SUMO
View all facts
Glossary
Help
unparented
> true
Next unparented
:
width
Up
:
unparented
Previous unparented
:
traverses
true
subject
fact
true
documentation
The BinaryPredicate that relates a Sentence to its TruthValue
has axiom
(=>
(knows ?AGENT ?FORMULA)
(true ?FORMULA True))
has domain1
Sentence
has domain2
TruthValue
has
relatedInternalConcept
TruthFn