|
| 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 7750-7750 | 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 9571-9571 | meets spatially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17299-17299 | modal attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6664-6664 | neighbor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22765-22765 | operator is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18125-18125 | opposite direction is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9612-9612 | 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 16464-16464 | sibling is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16509-16509 | sister is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7772-7772 | smaller is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16559-16559 | spouse is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8035-8035 | starts is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21341-21341 | 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 9651-9651 | superficial part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16580-16580 | 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