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 21036-21043	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
(=> (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}
(subclass DiagnosticProcess Investigating)	Merge.kif 12954-12954	DiagnosticProcess ist eine teilkategorie von Investigating
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24084-24084	Biopsy ist eine teilkategorie von DiagnosticProcess
(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 461-461	MeasuringBreathing ist eine teilkategorie von DiagnosticProcess
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3425-3425	Electrocardiography ist eine teilkategorie von DiagnosticProcess
(subclass CheckingVitals DiagnosticProcess)	Medicine.kif 6497-6497	CheckingVitals ist eine teilkategorie von 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