No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2939-2939 | 通讯设备 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1798-1798 | 麦克风 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1802-1802 | 接收器设备 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1814-1814 | 电报 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1819-1819 | 投影屏幕 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2952-2952 | 电话 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2996-2996 | 传真机 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15823-15823 | 天线 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24562-24562 | TelephonyDevice 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 850-850 | DataDisplayDevice 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 21-21 | 通讯电台 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 47-47 | 主要电话线 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 120-120 | 通信卫星 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 173-173 | Telex 是 通讯设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 219-219 | 电台 是 通讯设备 的 subclass |