SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > TruthFn |
TruthFn comparison table |
Subject | have domain2 | have domain1 | documentation | is a kind of | is an instance of |
---|---|---|---|---|---|
UnaryFunction | The Class of Functions that require a single argument | Function | |||
TruthFn | TruthValue | Sentence | The function mapping Sentences to TruthValues | UnaryFunction |
Next UnaryFunction: UnaryConstantFunctionQuantity Up: UnaryFunction Previous UnaryFunction: TerminalFn