Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationDevice

 Sigma KEE - CommunicationDevice
CommunicationDevice(通讯设备)

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 通讯设备 是 工程组件 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2944-2944 沟通 和 通讯设备 是 内部相关
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. Communications.kif 219-219 电台 是 通讯设备 的 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 120-120 通信卫星 是 通讯设备 的 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. Mid-level-ontology.kif 2996-2996 传真机 是 通讯设备 的 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. Mid-level-ontology.kif 1798-1798 麦克风 是 通讯设备 的 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 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 2952-2952 电话 是 通讯设备 的 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. Communications.kif 173-173 Telex 是 通讯设备 的 subclass
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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15791-15796


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

Show without tree


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