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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MedicalClinicBuilding
MedicalClinicBuilding(medical clinic building)
clinic, dispensary

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 Medical clinic building is a subclass of the complement of residence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7667-7667 Medical clinic building is a subclass of building

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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