|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2093-2093 | judicial branch is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1610-1610 | leader is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1434-1434 | leader position is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1999-1999 | legislative branch is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7202-7202 | loss is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 213-213 | low altitude wind speed is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1727-1727 | manner is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 975-975 | maritime claim type is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7501-7501 | measure is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 238-238 | medium altitude wind speed is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8323-8323 | meets temporally is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1276-1276 | member is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14735-14735 | middle name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25117-25117 | mobile phone number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17298-17298 | modal attribute is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 62-62 | models is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7781-7781 | monetary value is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3329-3329 | name index order is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 237-237 | observes holiday is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22764-22764 | operator is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3372-3372 | orbits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3472-3472 | organization name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16362-16362 | parent is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3641-3641 | partial ordering on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9976-9976 | partially fills is an instance of asymmetric 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