|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | 实数 兰金度 equal 那个 实数 和 1.8 凯文度 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | 实数 金属块 equal 那个 实数 和 14593.90 公克 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | 实数 英国加仑 equal 那个 实数 和 4.54609 升 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7391-7393 | 实数 美国分 equal 那个 实数 和 0.01 美国美元 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | 实数 美国加仑 equal 那个 实数 和 3.785411784 升 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn 生物 and 地理区域 equal 那个 生物I 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | 地缘政治区域 的 population equal 符号串 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 地缘政治区域 和 年 每年的 reaching 军事男性年龄 equal 符号串 所描述的类别 instance 的数量 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4534-4534 | AccountCreationRejected equal FailureFn CreatingAnAccount |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6976-6976 | 美国国家 equal 州或省 所有的 instances 在 美国 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3681-3681 | AppleOrchard equal 苹果 在 的 farm |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12637-12637 | 血液 equal food for Mosquito |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5188-5188 | BrainDead equal DeadOrMissingBodyPartFn 脑 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | 秋季 equal 从九月到十一月再次发生所需的时间 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14873-14873 | Food equal food for 人类 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4743-4743 | 手套 equal 对于 手 的 covering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11411-11411 | Pericarditis equal InflammationFn Pericardium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1664-1664 | 春暖花开的季节 equal 从三月到五月再次发生所需的时间 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3973-3973 | 平方千米 equal 仪表 的一千倍 的 square 单位 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3972-3972 | 平方米 equal 仪表 的 square 单位 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1665-1665 | 夏季 equal 从六月到八月再次发生所需的时间 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | Unix时代 equal 0 second |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3685-3685 | Vineyard equal 酿酒葡萄 在 的 farm |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | 冬季 equal 从十二月到二月再次发生所需的时间 |
|
|
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