![]() |
unparented > true |
![]() ![]() | |||||
true comparison table |
Subject | have relatedInternalConcept | documentation | have domain2 | have domain1 | have axiom |
---|---|---|---|---|---|
unparented | |||||
true | TruthFn | The BinaryPredicate that relates a Sentence to its TruthValue | TruthValue | Sentence | (=> |
Next unparented: width Up: unparented Previous unparented: traverses