|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17829-17829 | 军事人工品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3682-3682 | 镜子 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | 移动住宅 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | 纸 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1537-1537 | 摄影胶片 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1541-1541 | 像框 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3678-3678 | 枕头 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3659-3659 | 插头 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3668-3668 | 陶器 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15692-15692 | 产品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5625-5625 | 贮水池 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26342-26342 | Sail 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1555 | 架 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1468-1468 | 屏蔽 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2559-2559 | 船舱 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | 船甲板 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2511-2511 | ShipsHull 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5197-5197 | 鞋底 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15721-15721 | 固定人工制品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3650-3650 | 串 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15361-15361 | 文本 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1830-1830 | 烟草制品 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | 过境避难所 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | 管 是 人工制品 的 subclass |
| 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