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	MedicalDoctor est un attribut de objet processus processus processus est une sous-classe de processus de diagnostique processus est une sous-classe de processus therapeutique objet est capable de faire processus dans le r�le agent objet est capable de faire processus dans le r�le agent
(=> (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	Pulmonologist est un attribut de objet processus processus, objet and objet classe est une sous-classe de processus de diagnostique classe est une sous-classe de processus therapeutique objet est un patient de processus objet est un patient de processus objet est une instance de Lung objet est une partie de objet processus est situ� � Lung processus est situ� � Lung
(subclass DiagnosticProcess Investigating)	Merge.kif 12954-12954	Processus de diagnostique est une sous-classe de enqu�ter
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24084-24084	Biopsy est une sous-classe de processus de diagnostique
(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 461-461	MeasuringBreathing est une sous-classe de processus de diagnostique
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3425-3425	Electrocardiography est une sous-classe de processus de diagnostique
(subclass CheckingVitals DiagnosticProcess)	Medicine.kif 6497-6497	CheckingVitals est une sous-classe de processus de diagnostique

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