|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2606-2606 | increases likelihood is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 107-107 | inverse is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7835-7835 | larger is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1843-1843 | less than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1738-1738 | manner is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9707-9707 | meets spatially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17474-17474 | modal attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7601-7601 | neighbor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24406-24406 | operator is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19696-19696 | opposite direction is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9748-9748 | overlap partially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4363-4363 | prevents subclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16639-16639 | sibling is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16684-16684 | sister is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7857-7857 | smaller is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16734-16734 | spouse is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8120-8120 | starts is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8200-8200 | starts during is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22958-22958 | sub field is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4684-4684 | sub plan is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4663-4663 | sub proposition is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 721-721 | successor attribute closure is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9787-9787 | superficial part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16755-16755 | wife is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2285-2285 | Asymmetric relation is a subclass of irreflexive relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners