No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2937-2937 |
相關的內部概念 Communication and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15850-15850 |
子類 天線 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Communications.kif 219-219 |
子類 電台 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 120-120 |
子類 通信衛星 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. |
Mid-level-ontology.kif 2989-2989 |
子類 傳真機 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. |
Mid-level-ontology.kif 1791-1791 |
子類 麥克風 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1812-1812 |
子類 投影屏幕 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1795-1795 |
子類 接收器設備 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1807-1807 |
子類 電報 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2945-2945 |
子類 電話 and 通訊設備 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24619-24619 |
子類 TelephonyDevice 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. |
domainEnglishFormat.kif 16014-16014 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16013-16013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16012-16012 |
|