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	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 12976-12976	DiagnosticProcess ist eine teilkategorie von Investigating
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24083-24083	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