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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationSatellite

 Sigma KEE - CommunicationSatellite
CommunicationSatellite(通信衛星)

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 122-124
No TPTP formula. May not be expressible in strict first order. Communications.kif 119-119 子類 通信衛星 and 人造衛星
No TPTP formula. May not be expressible in strict first order. Communications.kif 120-120 子類 通信衛星 and 通訊設備

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 153-153 子類 歐洲通信衛星 and 通信衛星
No TPTP formula. May not be expressible in strict first order. Communications.kif 157-157 子類 國際海事衛星組織 and 通信衛星
No TPTP formula. May not be expressible in strict first order. Communications.kif 161-161 子類 INTELSAT and 通信衛星
No TPTP formula. May not be expressible in strict first order. Communications.kif 165-165 子類 空間通信 and 通信衛星
No TPTP formula. May not be expressible in strict first order. Communications.kif 169-169 子類 歐比特 and 通信衛星
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16038-16038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16037-16037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16036-16036
No TPTP formula. May not be expressible in strict first order. Communications.kif 121-121

antecedent
-------------------------


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