Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	Pulmonologist e' um atributo de Objeto Processo Processo, Objeto and Objeto Classe e' uma sub-classe de Processo de Diagnostico Classe e' uma sub-classe de Processo Terapeutico Objeto e' um patient de Processo Objeto e' um patient de Processo Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Processo e' situado em Lung Processo e' situado em Lung
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21035-21042	MedicalDoctor e' um atributo de Objeto Processo Processo Processo e' uma sub-classe de Processo de Diagnostico Processo e' uma sub-classe de Processo Terapeutico Objeto e' capaz de fazer Processo no role agent Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12261-12261	Processo Terapeutico e' uma sub-classe de Consertar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1066-1066	Vaccination e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5699-5699	Massaging e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5772-5772	RelievingPain e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12277-12277	Cirurgia e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 62-62	ApplyingTourniquet e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 579-579	CPR e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 632-632	Defibrillation e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 877-877	Thoracentesis e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 940-940	Anesthetizing e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1069-1069	IVTherapy e' uma sub-classe de Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1170-1170	IntraosseousInfusion e' uma sub-classe de Processo Terapeutico

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