Sigma KB Term Intersection

(=> (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
(=> (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
(subclass TherapeuticProcess Repairing)	Merge.kif 12261-12261	ProcessoTerapeutico è una sottoclasse di Riparare
(subclass Vaccination TherapeuticProcess)	WMD.kif 1066-1066	Vaccination è una sottoclasse di ProcessoTerapeutico
(subclass Massaging TherapeuticProcess)	Mid-level-ontology.kif 5699-5699	Massaging è una sottoclasse di ProcessoTerapeutico
(subclass RelievingPain TherapeuticProcess)	Mid-level-ontology.kif 5772-5772	RelievingPain è una sottoclasse di ProcessoTerapeutico
(subclass Surgery TherapeuticProcess)	Merge.kif 12277-12277	InterventoChirurgico è una sottoclasse di ProcessoTerapeutico
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	ApplyingTourniquet è una sottoclasse di ProcessoTerapeutico
(subclass CPR TherapeuticProcess)	Medicine.kif 579-579	CPR è una sottoclasse di ProcessoTerapeutico
(subclass Defibrillation TherapeuticProcess)	Medicine.kif 632-632	Defibrillation è una sottoclasse di ProcessoTerapeutico
(subclass Thoracentesis TherapeuticProcess)	Medicine.kif 877-877	Thoracentesis è una sottoclasse di ProcessoTerapeutico
(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 940-940	Anesthetizing è una sottoclasse di ProcessoTerapeutico
(subclass IVTherapy TherapeuticProcess)	Medicine.kif 1069-1069	IVTherapy è una sottoclasse di ProcessoTerapeutico
(subclass IntraosseousInfusion TherapeuticProcess)	Medicine.kif 1170-1170	IntraosseousInfusion è una sottoclasse di ProcessoTerapeutico

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