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 21035-21042
(subclass TherapeuticProcess Repairing) Merge.kif 12261-12261 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 5699-5699 Massaging est une sous-classe de processus therapeutique
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5772-5772 RelievingPain est une sous-classe de processus therapeutique
(subclass Surgery TherapeuticProcess) Merge.kif 12277-12277 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