|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7713-7713 | customer is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23320-23320 | deceptive identifier is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 456-456 | dependent geopolitical area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14319-14319 | developmental form is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24879-24879 | device telecom number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1625-1625 | dry season in area is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15475-15475 | editor is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5412-5412 | element is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3704-3704 | equivalence relation on is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1280-1280 | executive branch is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3927-3927 | exploits is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4616-4616 | expressed in language is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14722-14722 | family name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25151-25151 | fax number is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10020-10020 | fills is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5424-5424 | flows is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3287-3287 | full name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3301-3301 | full name index order is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14044-14044 | geographic subregion is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14087-14087 | geopolitical subdivision is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14741-14741 | given name is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23009-23009 | grandparent is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5885-5885 | graph part is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2540-2540 | GUI element covered by is an instance of asymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2591-2591 | GUI element partially covered by 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