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 RadioAndTelevisionBroadcasting est un sous-attribut de BroadcastingAndTelecommunications

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9029-9029 RadioBroadcastingIndustry est un sous-attribut de RadioAndTelevisionBroadcasting
No TPTP formula. May not be expressible in strict first order. naics.kif 9047-9047 TelevisionBroadcastingIndustry est un sous-attribut de RadioAndTelevisionBroadcasting
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