No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | 子類 通訊設備 and EngineeringComponent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1798-1798 | 子類 麥克風 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1802-1802 | 子類 接收器設備 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1814-1814 | 子類 電報 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1819-1819 | 子類 投影屏幕 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | 子類 電話 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2996-2996 | 子類 傳真機 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15823-15823 | 子類 天線 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24562-24562 | 子類 TelephonyDevice and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 850-850 | 子類 DataDisplayDevice and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 21-21 | 子類 通訊電台 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 47-47 | 子類 主要電話線 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 120-120 | 子類 通信衛星 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 173-173 | 子類 Telex and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 219-219 | 子類 電台 and 通訊設備 |