SUMO View all facts Glossary Help |
Entity > Physical > Object > ContentBearingObject > LinguisticExpression > Sentence > Formula |
Formula | ||||
subject | fact |
Formula | documentation A syntactically well-formed formula in the SUO-KIF knowledge representation language | |
has axiom (=> | ||
is first domain of <=> | ||
is first domain of => | ||
is first domain of and | ||
is first domain of entails | ||
is first domain of not | ||
is first domain of or | ||
is second domain of <=> | ||
is second domain of => | ||
is second domain of and | ||
is second domain of believes | ||
is second domain of considers | ||
is second domain of desires | ||
is second domain of entails | ||
is second domain of hasPurpose | ||
is second domain of hasPurposeForAgent | ||
is second domain of holdsDuring | ||
is second domain of KappaFn | ||
is second domain of knows | ||
is second domain of or | ||
is a kind of Sentence | ||
LinguisticExpression | is disjoint from Icon | |
ContentBearingObject | has relatedInternalConcept containsInformation | |
Object | is third domain of between | |
is third domain of capability | ||
is third domain of connects |