CommunicationDevice - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2940-2943
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9093-9093
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2939-2939	子類通訊設備 and EngineeringComponent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2944-2944	相關的內部概念 Communication 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.	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 2996-2996	子類傳真機 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 1798-1798	子類麥克風 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 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 2952-2952	子類電話 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.	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

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2946-2948

例 Object and 通訊設備
能力 Communication, 儀器 and Object

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 15791-15796

例 Process and 廣播
Object 例 Object and 通訊設備儀器 Process and Object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: