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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadioAndTelevisionBroadcasting

 Sigma KEE - RadioAndTelevisionBroadcasting
RadioAndTelevisionBroadcasting(廣播和電視廣播)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9025-9027
No TPTP formula. May not be expressible in strict first order. naics.kif 9023-9023 子屬性 廣播和電視廣播 and 廣播和電信

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9029-9029 子屬性 RadioBroadcastingIndustry and 廣播和電視廣播
No TPTP formula. May not be expressible in strict first order. naics.kif 9047-9047 子屬性 TelevisionBroadcastingIndustry and 廣播和電視廣播
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48494-48494
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48493-48493
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48492-48492


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