|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7462-7462 | The range of descendants is an instance of family group |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4950-4950 | The range of diameter is an instance of length measure |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 479-479 | The range of directional subregion is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4744-4744 | The range of division is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1958-1958 | The range of elevation high point is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1934-1934 | The range of elevation low point is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2058-2058 | The range of email domain part fn is an instance of Internet domain |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | The range of email local part fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8011-8011 | The range of end is an instance of time point |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5954-5954 | The range of end node is an instance of graph node |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8935-8935 | The range of Evening fn is an instance of evening |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1150-1150 | The range of exclusive fishing zone is an instance of exclusive fishing zone |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | The range of executive branch is an instance of organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4821-4821 | The range of exponentiation is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1182-1182 | The range of extended fishing zone is an instance of extended fishing zone |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1762-1762 | The range of extension is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | People.kif 396-396 | The range of female life expectancy at birth is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3227-3227 | The range of first is an instance of entity |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3726-3726 | The range of fiscal year starting is an instance of time interval |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 888-888 | The range of fit for military service male is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4829-4829 | The range of floor is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4894-4894 | The range of flow is an instance of motion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4926-4926 | The range of flow region is an instance of region |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 879-879 | The range of front is an instance of self connected object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8512-8512 | The range of future is an instance of time interval |
| 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