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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BroadcastProgram

 Sigma KEE - BroadcastProgram
BroadcastProgram(广播节目)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14588-14589
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2650-2650
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2765-2765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2764-2764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2763-2763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14587-14587 广播节目 是 系列 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14598-14598 新闻节目 是 广播节目 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12035-12035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12034-12034
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12033-12033

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14591-14596


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