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	Wenn Pulmonologist ist ein attribut von Object %n{nicht}, dann es gibt Process, Process,, , Object, and und Object um Class ist eine teilkategorie von DiagnosticProcess und Class ist eine teilkategorie von TherapeuticProcess und Object ist ein patient von Process %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein teil von Object %n{nicht} und Process befindet sich an %n{nicht} und Process befindet sich an %n{nicht}
(=> (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	Wenn MedicalDoctor ist ein attribut von Object %n{nicht}, dann es gibt Process und Process um Process ist eine teilkategorie von DiagnosticProcess und Process ist eine teilkategorie von TherapeuticProcess und Object ist faehig %n{nicht}, in der Rolle agent Process zu tun und Object ist faehig %n{nicht}, in der Rolle agent ** Process zu tun
(subclass TherapeuticProcess Repairing)	Merge.kif 12261-12261	TherapeuticProcess ist eine teilkategorie von Repairing
(subclass Vaccination TherapeuticProcess)	WMD.kif 1066-1066	Vaccination ist eine teilkategorie von TherapeuticProcess
(subclass Massaging TherapeuticProcess)	Mid-level-ontology.kif 5699-5699	Massaging ist eine teilkategorie von TherapeuticProcess
(subclass RelievingPain TherapeuticProcess)	Mid-level-ontology.kif 5772-5772	RelievingPain ist eine teilkategorie von TherapeuticProcess
(subclass Surgery TherapeuticProcess)	Merge.kif 12277-12277	Surgery ist eine teilkategorie von TherapeuticProcess
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	ApplyingTourniquet ist eine teilkategorie von TherapeuticProcess
(subclass CPR TherapeuticProcess)	Medicine.kif 579-579	CPR ist eine teilkategorie von TherapeuticProcess
(subclass Defibrillation TherapeuticProcess)	Medicine.kif 632-632	Defibrillation ist eine teilkategorie von TherapeuticProcess
(subclass Thoracentesis TherapeuticProcess)	Medicine.kif 877-877	Thoracentesis ist eine teilkategorie von TherapeuticProcess
(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 940-940	Anesthetizing ist eine teilkategorie von TherapeuticProcess
(subclass IVTherapy TherapeuticProcess)	Medicine.kif 1069-1069	IVTherapy ist eine teilkategorie von TherapeuticProcess
(subclass IntraosseousInfusion TherapeuticProcess)	Medicine.kif 1170-1170	IntraosseousInfusion ist eine teilkategorie von 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