|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7350-7350 | larger is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1741-1741 | less than is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1632-1632 | manner is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8996-8996 | meets spatially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16090-16090 | modal attribute is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6303-6303 | neighbor is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20677-20677 | operator is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15845-15845 | opposite direction is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9038-9038 | overlaps partially is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5591-5591 | path length is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2144-2144 | power component is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4199-4199 | prevents is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4169-4169 | preventsSubclass is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15293-15293 | sibling is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15338-15338 | sister is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7372-7372 | smaller is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15388-15388 | spouse is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7621-7621 | starts is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19028-19028 | sub field is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4466-4466 | sub plan is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4445-4445 | sub proposition is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 693-693 | successor attribute closure is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9068-9068 | superficial part is an instance of irreflexive relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15408-15408 | wife is an instance 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