|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2595-2595 | 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 7772-7772 | larger is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1833-1833 | less than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1728-1728 | manner is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9593-9593 | meets spatially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17321-17321 | modal attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6663-6663 | neighbor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22764-22764 | operator is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18124-18124 | opposite direction is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9634-9634 | overlap partially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4365-4365 | prevents is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4335-4335 | prevents subclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16486-16486 | sibling is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16531-16531 | sister is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7794-7794 | smaller is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16581-16581 | spouse is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8057-8057 | starts is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21340-21340 | sub field is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4656-4656 | sub plan is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4635-4635 | sub proposition is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 728-728 | successor attribute closure is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9673-9673 | superficial part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16602-16602 | wife is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2274-2274 | 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