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


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