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 CommunicationSatellite est une sous-classe de ArtificialSatellite
No TPTP formula. May not be expressible in strict first order. Communications.kif 120-120 CommunicationSatellite est une sous-classe de CommunicationDevice

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


No TPTP formula. May not be expressible in strict first order. Communications.kif 153-153 Eutelsat est une sous-classe de CommunicationSatellite
No TPTP formula. May not be expressible in strict first order. Communications.kif 157-157 Inmarsat est une sous-classe de CommunicationSatellite
No TPTP formula. May not be expressible in strict first order. Communications.kif 161-161 Intelsat est une sous-classe de CommunicationSatellite
No TPTP formula. May not be expressible in strict first order. Communications.kif 165-165 Intersputnik est une sous-classe de CommunicationSatellite
No TPTP formula. May not be expressible in strict first order. Communications.kif 169-169 Orbita est une sous-classe de CommunicationSatellite
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