|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24055-24055 | 子類 避孕器具 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | 子類 冷卻裝置 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | 子類 切割裝置 and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | 子類 Damper and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25618-25618 | 子類 DataStorageDevice and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2267-2267 | 子類 Distributor and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15256-15256 | 子類 門 and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2310-2310 | 子類 Drivebelt and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25363-25363 | 子類 DryingDevice and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26048-26048 | 子類 Earphone and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | 子類 電器 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25905-25905 | 子類 ElectricalOutlet and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1309-1309 | 子類 EngineChoke and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1967-1967 | 子類 EngineConnectingRod and Device |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16056-16056 | 子類 EngineeringComponent and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2619-2619 | 子類 ExhaustManifold and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | 子類 爆炸裝置 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2533-2533 | 子類 文件設備 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | 子類 過濾 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26452-26452 | 子類 FireAlarm and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25478-25478 | 子類 滅火器 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15354-15354 | 子類 壁爐 and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1105-1105 | 子類 FuelAtomizer and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2534-2534 | 子類 GasPedal and Device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2832-2832 | 子類 Gasket and Device |
| 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