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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WirelessTelecommunicationsCarriersExceptSatellite

Sigma KEE - WirelessTelecommunicationsCarriersExceptSatellite
WirelessTelecommunicationsCarriersExceptSatellite(wireless telecommunications carriers except satellite)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9088-9091
No TPTP formula. May not be expressible in strict first order. naics.kif 9086-9086 Wireless telecommunications carriers except satellite is a subattribute of telecommunications

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9099-9099 Cellular and other wireless telecommunications is a subattribute of wireless telecommunications carriers except satellite
No TPTP formula. May not be expressible in strict first order. naics.kif 9093-9093 Paging is a subattribute of wireless telecommunications carriers except satellite
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63233-63233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63232-63232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63231-63231


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