|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3329-3329 | The number 2 argument of click-through rate is an instance of hyperlink |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5477-5477 | The number 1 argument of complement is an instance of set or class |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 674-674 | The number 1 argument of constitution is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1048-1048 | The number 2 argument of contest function is an instance of time interval |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2841-2841 | The number 1 argument of conversion rate is an instance of collection |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | The number 1 argument of cosine is an instance of plane angle measure |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 283-283 | The number 1 argument of currency is an instance of financial account |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6071-6071 | The number 1 argument of cut set is an instance of graph |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4857-4857 | The number 1 argument of datum is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8588-8588 | The number 1 argument of day is an instance of positive integer |
| No TPTP formula. May not be expressible in strict first order. | People.kif 102-102 | The number 1 argument of deaths per thousand is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | People.kif 103-103 | The number 2 argument of deaths per thousand is an instance of year |
| No TPTP formula. May not be expressible in strict first order. | People.kif 228-228 | The number 1 argument of deaths per thousand live births is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | People.kif 229-229 | The number 2 argument of deaths per thousand live births is an instance of year |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30630-30630 | The number 1 argument of Demonym fn is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4810-4810 | The number 1 argument of denominator is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6645-6645 | The number 1 argument of density is an instance of mass measure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6646-6646 | The number 2 argument of density is an instance of volume measure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18323-18323 | The number 1 argument of department is an instance of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18394-18394 | The number 1 argument of Department of preventing fn is an instance of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7461-7461 | The number 1 argument of descendants is an instance of human |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4949-4949 | The number 1 argument of diameter is an instance of circle |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 477-477 | The number 1 argument of directional subregion is an instance of directional attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 478-478 | The number 2 argument of directional subregion is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4742-4742 | The number 1 argument of division is an instance of real number |
| 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