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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationSystem

 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 子類 通訊系統 and Collection

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 220-220 工程子組件 電台 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 430-430 例 互聯網 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 358-358 子類 廣播網絡 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 333-333 子類 有線電視系統 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 442-442 子類 互聯網服務提供商 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26093-26093 子類 PublicAddressSystem and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 231-231 子類 無線電系統 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 344-344 子類 SatelliteTelevisionSystem and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 32-32 子類 電話系統 and 通訊系統
No TPTP formula. May not be expressible in strict first order. Communications.kif 318-318 子類 電視系統 and 通訊系統
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 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