SUMO View all facts Glossary Help |
Entity > Abstract > Attribute > TruthValue |
TruthValue | ||||
subject | fact |
TruthValue | documentation The Class of truth values, e.g. True and False. These are Attributes of Sentences | |
is second domain of true | ||
is second domain of TruthFn | ||
is a kind of Attribute | ||
Attribute | is disjoint from Quantity | |
is first domain of contraryProperty | ||
is first domain of ExtensionFn | ||
is first domain of subAttribute | ||
is first domain of successorAttribute | ||
is first domain of successorAttributeClosure | ||
Abstract | has axiom (<=> |
Kinds of TruthValue :