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 Diagnostic process is a subclass of investigating
(subclass Biopsy DiagnosticProcess) Mid-level-ontology.kif 24084-24084 Biopsy is a subclass of diagnostic process
(subclass MeasuringBreathing DiagnosticProcess) Medicine.kif 461-461 Measuring breathing is a subclass of diagnostic process
(subclass Electrocardiography DiagnosticProcess) Medicine.kif 3425-3425 Electrocardiography is a subclass of diagnostic process
(subclass CheckingVitals DiagnosticProcess) Medicine.kif 6497-6497 Checking vitals is a subclass of diagnostic process


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