Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (attribute ?H Pulmonologist)
    (exists (?P1 ?P2 ?PAT ?L)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (patient ?P1 ?PAT)
            (patient ?P2 ?PAT)
            (instance ?L Lung)
            (part ?L ?PAT)
            (located ?P1 Lung)
            (located ?P2 Lung))))
Medicine.kif 4481-4492
(=>
    (attribute ?DOCTOR MedicalDoctor)
    (exists (?PROCESS1 ?PROCESS2)
        (and
            (subclass ?PROCESS1 DiagnosticProcess)
            (subclass ?PROCESS2 TherapeuticProcess)
            (capability ?PROCESS1 agent ?DOCTOR)
            (capability ?PROCESS2 agent ?DOCTOR))))
Mid-level-ontology.kif 21036-21043
(subclass TherapeuticProcess Repairing) Merge.kif 12239-12239 治疗过程修理subclass
(subclass Vaccination TherapeuticProcess) WMD.kif 1066-1066 Vaccination治疗过程subclass
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5700-5700 按摩治疗过程subclass
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5773-5773 缓解疼痛治疗过程subclass
(subclass Surgery TherapeuticProcess) Merge.kif 12255-12255 外科手术治疗过程subclass
(subclass ApplyingTourniquet TherapeuticProcess) Medicine.kif 62-62 ApplyingTourniquet治疗过程subclass
(subclass CPR TherapeuticProcess) Medicine.kif 579-579 CPR治疗过程subclass
(subclass Defibrillation TherapeuticProcess) Medicine.kif 632-632 Defibrillation治疗过程subclass
(subclass Thoracentesis TherapeuticProcess) Medicine.kif 877-877 Thoracentesis治疗过程subclass
(subclass Anesthetizing TherapeuticProcess) Medicine.kif 940-940 Anesthetizing治疗过程subclass
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1069-1069 IVTherapy治疗过程subclass
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1170-1170 IntraosseousInfusion治疗过程subclass


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