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 Processus therapeutique est une sous-classe de r�parer
(subclass Vaccination TherapeuticProcess) WMD.kif 1066-1066 Vaccination est une sous-classe de processus therapeutique
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5700-5700 Massaging est une sous-classe de processus therapeutique
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5773-5773 RelievingPain est une sous-classe de processus therapeutique
(subclass Surgery TherapeuticProcess) Merge.kif 12255-12255 Chirurgie est une sous-classe de processus therapeutique
(subclass ApplyingTourniquet TherapeuticProcess) Medicine.kif 62-62 ApplyingTourniquet est une sous-classe de processus therapeutique
(subclass CPR TherapeuticProcess) Medicine.kif 579-579 CPR est une sous-classe de processus therapeutique
(subclass Defibrillation TherapeuticProcess) Medicine.kif 632-632 Defibrillation est une sous-classe de processus therapeutique
(subclass Thoracentesis TherapeuticProcess) Medicine.kif 877-877 Thoracentesis est une sous-classe de processus therapeutique
(subclass Anesthetizing TherapeuticProcess) Medicine.kif 940-940 Anesthetizing est une sous-classe de processus therapeutique
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1069-1069 IVTherapy est une sous-classe de processus therapeutique
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1170-1170 IntraosseousInfusion est une sous-classe de processus therapeutique


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