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	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 12976-12976	Processus de diagnostique est une sous-classe de enqu�ter
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24083-24083	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