TherapeuticProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3149-3150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12262-12264
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12261-12261	Processo Terapeutico e' uma sub-classe de Consertar

appearance as argument number 2

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 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 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
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 877-877	Thoracentesis e' uma sub-classe de Processo Terapeutico
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.	chinese_format.kif 1158-1158
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1533-1533
No TPTP formula. May not be expressible in strict first order.	french_format.kif 836-836
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 368-368
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 371-371
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2520-2520
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 407-407
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 857-857
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 372-372

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 5819-5819

O argumento numero 2 de diseaseTreatment e' uma sub-classe de Processo Terapeutico

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12266-12275

Processo e' uma instancia de Processo Terapeutico Objeto e' um patient de Processo
Objeto e' uma instancia de Organismo Objeto Objeto e' uma instancia de Organismo Objeto e' uma &parte de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6338-6346	Atributo e' uma instancia de MedicalPerson Atributo e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Processo Terapeutico Entidade e' um agente de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processo e' uma instancia de Evacuation AutonomousAgent experimenta Processo Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Processo Terapeutico Processo e' um sub-processo de Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7158-7171	Agente Cognitivo e' uma instancia de HealthInsuranceCompany customer Agente Cognitivo and AutonomousAgent Agente Cognitivo tem finalidade Entidade Entidade Entidade e' uma instancia de Processo de Diagnostico Entidade e' uma instancia de Processo Terapeutico AutonomousAgent experimenta Entidade Entidade e' uma instancia de Payment Entidade e' um agente de Agente Cognitivo Entidade inclui uma referencia a Entidade para AutonomousAgent
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.	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.	Biography.kif 571-573	RegisteredNurse e' um atributo de Humano hasExpertise Humano and Processo Terapeutico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5689-5697	Fisico e' uma instancia de Bandage Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Processo Terapeutico Entidade e' uma instancia de Cobrir Entidade e' um sub-processo de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9238-9243	Objeto e' uma instancia de Medicine Processo Processo e' uma instancia de Processo Terapeutico Objeto e' um recurso para Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 666-675	Fisico e' uma instancia de MedicalDevice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Processo Terapeutico Entidade e' uma instancia de Processo de Diagnostico Fisico e' um instrumento para Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	ServiceProcess e' uma instancia de MedicalService AutonomousAgent Agente Cognitivo and Processo ServiceProcess e' um agente de AutonomousAgent AutonomousAgent emprega Agente Cognitivo MedicalDoctor e' um atributo de Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo Processo e' uma instancia de Processo Terapeutico Processo e' uma instancia de Processo de Diagnostico Processo e' um sub-processo de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9651-9664	medicine Medicine and Doenca ou Sindrome Doenca ou SindromeOC Doenca ou SindromeOC e' uma instancia de MedicalDoctor Doenca ou SindromeOC acredita que Entidade Entidade and Entidade Entidade e' uma instancia de Medicine Entidade e' uma instancia de Processo Terapeutico Entidade e' uma instancia de Humano patientMedical Entidade and Doenca ou SindromeOC Entidade e' um recurso para Entidade benefits Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5675-5683	patientMedical Humano and Agente Cognitivo Processo Humano e' um patient de Processo Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Processo de Diagnostico Processo e' uma instancia de Processo Terapeutico

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: