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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DanceCompanies

 Sigma KEE - DanceCompanies
DanceCompanies(舞蹈公司)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11292-11295
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8445-8445
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9135-9135
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9136-9136
No TPTP formula. May not be expressible in strict first order. naics.kif 11290-11290 舞蹈公司 是 表演艺术公司 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18450-18450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18449-18449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18448-18448


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