|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2793-2793 | Ozone shield is 25.0 mile(s) above the ground |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1439-1439 | The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4683-4685 | 0.0 Meter(s) is an elevation of the elevation high point of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4827-4828 | 0.0 Meter(s) is an elevation of sea level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2008-2008 | 1 Kilowatt hour(s) is equal to 3.6 1 million joules(s) |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2009-2009 | 1 Kilowatt hour(s) is equal to 3600000.0 joule(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7112-7114 | 1 Week duration(s) is equal to 7 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7139-7141 | 1 Year duration(s) is equal to 365 day duration(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 382-382 | 1.0 Angular degree(s) is equal to 60.0 arc minute(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 401-401 | 1.0 Arc minute(s) is equal to 60.0 arc second(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3842-3842 | 1.0 Fathom(s) is equal to 6.0 foot length(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13600-13602 | 1.0 Metric ton(s) is equal to 2205.0 pound mass(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3865-3867 | 1.0 Nautical mile(s) is equal to 1852.0 meter(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3861-3863 | 1.0 Nautical mile(s) is equal to 6076.1 foot length(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13695-13699 | 1.0 Square mile(s) is equal to the per of 1.0 mile(s) and 1.0 mile(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13705-13709 | 1.0 Square yard(s) is equal to the per of 1.0 yard length(s) and 1.0 yard length(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 402-402 | A real number arc minute(s) is equal to 60.0 and the real number arc second(s) |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 383-383 | A real number angular degree(s) is equal to 60.0 and the real number arc minute(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7151-7153 | A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7173-7175 | A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7367-7369 | A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7353-7355 | A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7425-7427 | A real number byte(s) is equal to the real number and 8 bit(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7345-7347 | A real number calorie(s) is equal to the real number and 4.1868 joule(s) |
| 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