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 では %n
(subclass Vaccination TherapeuticProcess) WMD.kif 1066-1066 Vaccination治療経過subclass では %n
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5700-5700 Massaging治療経過subclass では %n
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5773-5773 RelievingPain治療経過subclass では %n
(subclass Surgery TherapeuticProcess) Merge.kif 12255-12255 手術治療経過subclass では %n
(subclass ApplyingTourniquet TherapeuticProcess) Medicine.kif 62-62 ApplyingTourniquet治療経過subclass では %n
(subclass CPR TherapeuticProcess) Medicine.kif 579-579 CPR治療経過subclass では %n
(subclass Defibrillation TherapeuticProcess) Medicine.kif 632-632 Defibrillation治療経過subclass では %n
(subclass Thoracentesis TherapeuticProcess) Medicine.kif 877-877 Thoracentesis治療経過subclass では %n
(subclass Anesthetizing TherapeuticProcess) Medicine.kif 940-940 Anesthetizing治療経過subclass では %n
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1069-1069 IVTherapy治療経過subclass では %n
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1170-1170 IntraosseousInfusion治療経過subclass では %n


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