Sigma KB Term Intersection

(=> (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	attribute Object and 醫生 Process Process 子類 Process and DiagnosticProcess 子類 Process and TherapeuticProcess 能力 Process, agent and Object 能力 Process, agent and Object
(=> (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 Object and Pulmonologist Process Process, Object and Object 子類 Class and DiagnosticProcess 子類 Class and TherapeuticProcess 患者 Process and Object 患者 Process and Object 例 Object and 肺部分 Object and Object 位於 Process and 肺位於 Process and 肺
(subclass DiagnosticProcess Investigating)	Merge.kif 12976-12976	子類 DiagnosticProcess and Investigating
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24083-24083	子類活檢 and DiagnosticProcess
(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 461-461	子類 MeasuringBreathing and DiagnosticProcess
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3425-3425	子類 Electrocardiography and DiagnosticProcess
(subclass CheckingVitals DiagnosticProcess)	Medicine.kif 6497-6497	子類 CheckingVitals and DiagnosticProcess

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