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

Formal Language: 



Term 1: Term 2:

(=>
    (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
(=>
    (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
(subclass DiagnosticProcess Investigating) Merge.kif 12954-12954 诊断过程 是 调查 的 subclass
(subclass Biopsy DiagnosticProcess) Mid-level-ontology.kif 24084-24084 活检 是 诊断过程 的 subclass
(subclass MeasuringBreathing DiagnosticProcess) Medicine.kif 461-461 MeasuringBreathing 是 诊断过程 的 subclass
(subclass Electrocardiography DiagnosticProcess) Medicine.kif 3425-3425 Electrocardiography 是 诊断过程 的 subclass
(subclass CheckingVitals DiagnosticProcess) Medicine.kif 6497-6497 CheckingVitals 是 诊断过程 的 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