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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WirelessTelecommunicationsCarriersExceptSatellite

Sigma KEE - WirelessTelecommunicationsCarriersExceptSatellite
WirelessTelecommunicationsCarriersExceptSatellite(除衛星外的無線電信運營商)

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 子屬性 除衛星外的無線電信運營商 and 電信

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9099-9099 子屬性 蜂窩和其他無線電信 and 除衛星外的無線電信運營商
No TPTP formula. May not be expressible in strict first order. naics.kif 9093-9093 子屬性 分頁 and 除衛星外的無線電信運營商
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63231-63231
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63230-63230
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63229-63229


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