|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4007-4007 | Active account is an instance of financial account status |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14108-14108 | Active agreement is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18804-18804 | Actor is an instance of entertainment profession |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 352-352 | Actuary is an instance of profession |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 163-163 | Adamorobe sign language is an instance of deaf sign language |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1392-1392 | Adana turkey is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1394-1394 | Addis ababa ethiopia is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4708-4708 | Addition is an instance of associative function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4707-4707 | Addition is an instance of binary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4709-4709 | Addition is an instance of commutative function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4711-4711 | Addition is an instance of total valued relation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 222-222 | Address is an instance of unary function |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1396-1396 | Aden yemen is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17097-17097 | Adjacent is an instance of symmetric positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15227-15227 | Adjoining room is an instance of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2625-2625 | Administration and management is an instance of area of concern |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10298-10298 | Administrative and support and waste management and remediation services is an instance of industry attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19021-19021 | Admiral is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2938-2938 | Adobe is an instance of corporation |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1398-1398 | Adora west bank is an instance of city |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 350-350 | Advanced developing country is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 527-527 | Advanced economy is an instance of IMF development level |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1188-1188 | Adventist is an instance of christian |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2490-2490 | Advisory committee is an instance of member status |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 433-433 | Aeronautical engineer is an instance of skilled occupation |
| 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