|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | A real number rankine degree(s) is equal to the real number and 1.8 kelvin degree(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | A real number slug(s) is equal to the real number and 14593.90 gram(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | A real number united kingdom gallon(s) is equal to the real number and 4.54609 liter(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7391-7393 | A real number united states cent(s) is equal to the real number and 0.01 united states dollar(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | A real number united states gallon(s) is equal to the real number and 3.785411784 liter(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | Individuals of type an organism in a geographic area. is equal to the number of instances in the class described by the organismI |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | The population of a geopolitical area is equal to the number of instances in the class described by a symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4534-4534 | Account creation rejected is equal to failure fn creating an account |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6976-6976 | American state is equal to all the instances of state or province in united states |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3681-3681 | Apple orchard is equal to a farm of apple in |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12637-12637 | Blood is equal to food for mosquito |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5188-5188 | Brain dead is equal to dead or missing body part fn brain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | Fall season is equal to the recurring period from September to November |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14873-14873 | Food is equal to food for human |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4743-4743 | Glove is equal to a covering for hand |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11411-11411 | Pericarditis is equal to inflammation of pericardial sac |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1664-1664 | Spring season is equal to the recurring period from March to May |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3973-3973 | Square kilometer is equal to the square unit of 1 thousand meters |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3972-3972 | Square meter is equal to the square unit of meter |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1665-1665 | Summer season is equal to the recurring period from June to August |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | Unix epoch is equal to the second 0 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3685-3685 | Vineyard is equal to a farm of wine grape in |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | Winter season is equal to the recurring period from December to February |
|
|
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