|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5028-5028 | VehicleSeat 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3432-3432 | 汽车轮胎 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4765-4765 | 单板 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2633-2633 | 集水区 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15888-15888 | 可穿戴物品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 326-326 | WetBar 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3373-3373 | 轮 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15171-15171 | 窗口 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15212-15212 | 窗帘 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3607-3607 | 线 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1048-1048 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1307-1307 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 726-726 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 257-257 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 260-260 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2410-2410 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 678-678 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 296-296 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 747-747 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 261-261 |
|
|
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