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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MedicalClinic

Sigma KEE - MedicalClinic
MedicalClinic(医疗诊所)

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 7651-7653
(subclass MedicalClinic CareOrganization) Mid-level-ontology.kif 7650-7650 医疗诊所护理组织subclass

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


(termFormat ChineseLanguage MedicalClinic "医疗诊所") domainEnglishFormat.kif 36809-36809
(termFormat ChineseTraditionalLanguage MedicalClinic "醫療診所") domainEnglishFormat.kif 36808-36808
(termFormat EnglishLanguage MedicalClinic "clinic") Mid-level-ontology.kif 7654-7654
(termFormat EnglishLanguage MedicalClinic "medical clinic") domainEnglishFormat.kif 36807-36807

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


(partition CareOrganization HospitalOrganization MedicalClinic) Mid-level-ontology.kif 7625-7625 护理组织 详尽无遗地 partition医院组织医疗诊所

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


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


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