|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 610-610 | Bluegrass 和 CountryMusic 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17418-17418 | 登机 和 deboarding 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11891-11891 | 购买 和 出售 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 406-406 | CaffeinatedAttribute 和 DecafAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2966-2966 | 二氧化碳排放量 和 车辆污染 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6571-6571 | CedarTree 和 CedarWood 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 621-621 | ChamberMusic 和 AcousticMusic 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11642-11642 | 改变所有权 和 possesses 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4871-4871 | 菊花 和 除虫菊 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4689-4689 | 可可豆 和 可可脂 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4688-4688 | 可可豆 和 可可粉 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 630-630 | 咖啡 和 CoffeeGrindAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 631-631 | 咖啡 和 CoffeeRoastAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 448-448 | CoffeeRoastAttribute 和 CoffeeGrindAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2944-2944 | 沟通 和 通讯设备 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13037-13037 | 沟通 和 内容制作 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 885-885 | 集装箱港口 和 集装箱船 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1329-1329 | 有内用物体 和 包含信息 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 31-31 | CookedAttribute 和 生食 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12785-12785 | 创作 和 摧毁 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 964-964 | Crushing 和 Breaking 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 64-64 | CuredAttribute 和 FermentedAttribute 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 65-65 | CuredAttribute 和 生食 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9232-9232 | 日 和 一天长度 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9231-9231 | 日 和 日函数 是 内部相关 |
| 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