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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EntertainmentBuilding

 Sigma KEE - EntertainmentBuilding
EntertainmentBuilding(娱乐建筑)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22391-22392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2161-2161
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2160-2160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22390-22390 娱乐建筑 是 建筑物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22198-22198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22197-22197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22196-22196

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


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


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