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 20377-20384
(subclass TherapeuticProcess Repairing) Merge.kif 12015-12015
(subclass Vaccination TherapeuticProcess) WMD.kif 1060-1060
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5388-5388
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5461-5461
(subclass Surgery TherapeuticProcess) Merge.kif 12031-12031


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