SUMO View all facts Glossary Help |
Entity > Abstract > Attribute > TruthValue > False |
False | ||||
subject | fact |
False | documentation The TruthValue of being false | |
has contraryProperty True | ||
is an instance of TruthValue | ||
TruthValue | is second domain of true | |
is second domain of TruthFn | ||
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 (<=> |