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