ElectricDevice(電器) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2582-2582 | 子類 雷達 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1803-1803 | 子類 接收器設備 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2343-2343 | 子類 冰箱 and 電器 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 834-834 | 子類 電阻元件 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2868-2868 | 子類 安全警報 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5641-5641 | 子類 烙鐵 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3923-3923 | 子類 Solenoid and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26034-26034 | 子類 SpeakerDevice and 電器 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 790-790 | 子類 定子 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1813-1813 | 子類 電報 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | 子類 電話 and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24563-24563 | 子類 TelephonyDevice and 電器 |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 398-398 | 子類 TelevisionSet and 電器 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 557-557 | 子類 VideoCamera and 電器 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | 子類 VideoDisplay and 電器 |
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 |