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	attribute Oggetto and MedicalDoctor Processo Processo Processo è una sottoclasse di ProcessoDiagnostico Processo è una sottoclasse di ProcessoTerapeutico Oggetto è capace di fare Processo nel ruolo agent Oggetto è capace di fare Processo nel ruolo 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	attribute Oggetto and Pulmonologist Processo Processo, Oggetto and Oggetto Classe è una sottoclasse di ProcessoDiagnostico Classe è una sottoclasse di ProcessoTerapeutico Oggetto è un paziente di Processo Oggetto è un paziente di Processo Oggetto è un' istanza di Lung Oggetto è una parte di Oggetto Processo è localizzato in Lung Processo è localizzato in Lung
(subclass DiagnosticProcess Investigating)	Merge.kif 12976-12976	ProcessoDiagnostico è una sottoclasse di Investigare
(subclass Biopsy DiagnosticProcess)	Mid-level-ontology.kif 24083-24083	Biopsy è una sottoclasse di ProcessoDiagnostico
(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 461-461	MeasuringBreathing è una sottoclasse di ProcessoDiagnostico
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3425-3425	Electrocardiography è una sottoclasse di ProcessoDiagnostico
(subclass CheckingVitals DiagnosticProcess)	Medicine.kif 6497-6497	CheckingVitals è una sottoclasse di ProcessoDiagnostico

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