Sigma KB Term Intersection

(=> (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 肺
(=> (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 Object and 醫生 Process Process 子類 Process and DiagnosticProcess 子類 Process and TherapeuticProcess 能力 Process, agent and Object 能力 Process, agent and Object
(subclass TherapeuticProcess Repairing)	Merge.kif 12239-12239	子類 TherapeuticProcess and Repairing
(subclass Vaccination TherapeuticProcess)	WMD.kif 1066-1066	子類 Vaccination and TherapeuticProcess
(subclass Massaging TherapeuticProcess)	Mid-level-ontology.kif 5700-5700	子類按摩 and TherapeuticProcess
(subclass RelievingPain TherapeuticProcess)	Mid-level-ontology.kif 5773-5773	子類緩解疼痛 and TherapeuticProcess
(subclass Surgery TherapeuticProcess)	Merge.kif 12255-12255	子類 Surgery and TherapeuticProcess
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	子類 ApplyingTourniquet and TherapeuticProcess
(subclass CPR TherapeuticProcess)	Medicine.kif 579-579	子類 CPR and TherapeuticProcess
(subclass Defibrillation TherapeuticProcess)	Medicine.kif 632-632	子類 Defibrillation and TherapeuticProcess
(subclass Thoracentesis TherapeuticProcess)	Medicine.kif 877-877	子類 Thoracentesis and TherapeuticProcess
(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 940-940	子類 Anesthetizing and TherapeuticProcess
(subclass IVTherapy TherapeuticProcess)	Medicine.kif 1069-1069	子類 IVTherapy and TherapeuticProcess
(subclass IntraosseousInfusion TherapeuticProcess)	Medicine.kif 1170-1170	子類 IntraosseousInfusion and TherapeuticProcess

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