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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedicalClinicBuilding

 Sigma KEE - MedicalClinicBuilding
MedicalClinicBuilding(医疗诊所大楼)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1842-1842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2252-2252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2253-2253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7666-7666 医疗诊所大楼 是 住宅 的补集 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7667-7667 医疗诊所大楼 是 建筑物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36815-36815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36814-36814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36813-36813


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