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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommunicationSystem
CommunicationSystem(通讯系统)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7620-7622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7619-7619 通讯系统 是 群体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 220-220 电台 是 通讯系统 的 component
No TPTP formula. May not be expressible in strict first order. Communications.kif 430-430 互联网 是 通讯系统 的 instance
No TPTP formula. May not be expressible in strict first order. Communications.kif 358-358 广播网络 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 333-333 有线电视系统 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 442-442 互联网服务提供商 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26093-26093 PublicAddressSystem 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 231-231 无线电系统 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 344-344 SatelliteTelevisionSystem 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 32-32 电话系统 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. Communications.kif 318-318 电视系统 是 通讯系统 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16062-16062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16061-16061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16060-16060

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 142-151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7585-7592
No TPTP formula. May not be expressible in strict first order. Communications.kif 125-130


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