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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpectatorSports

 Sigma KEE - SpectatorSports
SpectatorSports(觀眾體育)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11315-11317
No TPTP formula. May not be expressible in strict first order. naics.kif 11313-11313 子屬性 觀眾體育 and 表演藝術觀眾體育及相關產業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11332-11332 子屬性 其他觀眾體育 and 觀眾體育
No TPTP formula. May not be expressible in strict first order. naics.kif 11326-11326 子屬性 賽道 and 觀眾體育
No TPTP formula. May not be expressible in strict first order. naics.kif 11319-11319 子屬性 運動隊和俱樂部 and 觀眾體育
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54588-54588
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54587-54587
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54586-54586


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