|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24054-24054 | 避孕器具 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | 冷却装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | 切割装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | Damper 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25606-25606 | DataStorageDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2273-2273 | Distributor 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15255-15255 | 门 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2316-2316 | Drivebelt 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25362-25362 | DryingDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26036-26036 | Earphone 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | 电器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25893-25893 | ElectricalOutlet 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1309-1309 | EngineChoke 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1973-1973 | EngineConnectingRod 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16078-16078 | 工程组件 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2625-2625 | ExhaustManifold 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17840-17840 | 爆炸装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2533-2533 | 文件设备 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | 过滤 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26440-26440 | FireAlarm 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25477-25477 | 灭火器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | 壁炉 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1105-1105 | FuelAtomizer 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2540-2540 | GasPedal 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2838-2838 | Gasket 是 设备 的 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