|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24055-24055 | 避孕器具 是 设备 的 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 21994-21994 | 切割装置 是 设备 的 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 25618-25618 | DataStorageDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2267-2267 | Distributor 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15256-15256 | 门 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2310-2310 | Drivebelt 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25363-25363 | DryingDevice 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26048-26048 | 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 25905-25905 | 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 1967-1967 | EngineConnectingRod 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16056-16056 | 工程组件 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2619-2619 | ExhaustManifold 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | 爆炸装置 是 设备 的 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 26452-26452 | FireAlarm 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25478-25478 | 灭火器 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15354-15354 | 壁炉 是 设备 的 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 2534-2534 | GasPedal 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2832-2832 | 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