|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2582-2582 | 雷达 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | 接收器设备 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2343-2343 | 冰箱 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 834-834 | 电阻元件 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2868-2868 | 安全警报 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5641-5641 | 烙铁 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3923-3923 | Solenoid 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26034-26034 | SpeakerDevice 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 790-790 | 定子 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1813 | 电报 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | 电话 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24563-24563 | TelephonyDevice 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 398-398 | TelevisionSet 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 557-557 | VideoCamera 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | VideoDisplay 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21570-21570 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21569-21569 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21568-21568 |
|
|
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