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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MedicalClinic
MedicalClinic(medical clinic)clinical

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


(documentation MedicalClinic EnglishLanguage "A CareOrganization which provides medical care on an out-patient basis only, i.e. there are no rooms where patients may take up residence for a period of time while they receive care.") Mid-level-ontology.kif 7869-7871
(subclass MedicalClinic CareOrganization) Mid-level-ontology.kif 7868-7868 Medical clinic is a subclass of care organization

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


(termFormat ChineseLanguage MedicalClinic "医疗诊所") domainEnglishFormat.kif 36843-36843
(termFormat ChineseTraditionalLanguage MedicalClinic "醫療診所") domainEnglishFormat.kif 36842-36842
(termFormat EnglishLanguage MedicalClinic "clinic") Mid-level-ontology.kif 7872-7872
(termFormat EnglishLanguage MedicalClinic "medical clinic") domainEnglishFormat.kif 36841-36841

appearance as argument number 3
-------------------------


(partition CareOrganization HospitalOrganization MedicalClinic) Mid-level-ontology.kif 7843-7843 Care organization is exhaustively partitioned into hospital organization and medical clinic

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


(=>
    (instance ?C MedicalClinic)
    (not
        (exists (?B)
            (and
                (possesses ?C ?B)
                (instance ?B TemporaryResidence)))))
Mid-level-ontology.kif 7876-7882


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