Injuring - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2925-2926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10463-10465
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1675-1676
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10461-10461	Ferir e' uma sub-classe de Causar Dano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10460-10460	Ferir e' uma sub-classe de Processo Patologico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10490-10490	Envenenar e' uma sub-classe de Ferir
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1089-1089
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1389-1389
No TPTP formula. May not be expressible in strict first order.	french_format.kif 767-767
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 299-299
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 302-302
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2451-2451
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 719-719
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 304-304
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 338-338
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 788-788
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 303-303

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 104-111	Processo e' uma instancia de Ferir AutonomousAgent experimenta Processo Injury e' um atributo de AutonomousAgent vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10474-10481	Processo e' uma instancia de Ferir Processo e' uma instancia de Causar Dano Entidade Entidade e' uma instancia de Organismo Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10467-10472	Processo e' uma instancia de Ferir Entidade Entidade e' uma instancia de Estructura Anatomica Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3432-3461	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10483-10488	Processo e' uma instancia de Causar Dano Entidade e' uma instancia de Organismo Entidade e' um patient de Processo Processo e' uma instancia de Ferir
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3374-3402	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	Processo e' uma instancia de ViolentContest Objeto e' um patient de Processo InjuryCausedFn Processo e' um atributo de Objeto ImpairedBodyPartFn Airway e' um atributo de Objeto o argumento Processo e' uma sub-classe de Combustao Entidade Entidade e' uma instancia de Ferir Entidade e' situado em Entidade Entidade e' uma instancia de Face Objeto e' um patient de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3516-3537	WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 403-410	InjuryCausedFn Processo e' um atributo de Objeto Processo Processo Processo e' uma instancia de Ferir Objeto e' um patient de Processo Processo e' uma instancia de Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 425-432	Bruise e' um atributo de Objeto Processo Processo Processo e' uma instancia de Ferir Objeto e' um patient de Processo Processo e' uma instancia de Bleeding Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30731-30751	SafetyPosition e' um atributo de Entidade vale durante Posicao Temporal Entidade tem por fim Entidade Entidade, Entidade and Posicao Temporal2 Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	Fisico e' uma instancia de Ambulance Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Entidade Entidade Entidade Entidade e' uma instancia de Ferir Entidade experimenta Entidade Entidade comeca antes de Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21409-21414	Processo e' uma instancia de Bleeding Processo Processo e' uma instancia de Ferir Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1345-1353	Fisico e' uma instancia de CSGas Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ferir Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	Fisico e' uma instancia de ChestSeal Fisico tem por fim Entidade EntidadeH, Entidade and Entidade Entidade e' uma instancia de Closing Fisico e' um instrumento para Entidade Entidade e' situado em EntidadeH EntidadeH e' uma instancia de Chest Entidade e' uma instancia de Buraco EntidadeH e' igual a o dono do buraco Entidade Entidade e' uma instancia de Ferir Entidade e' situado em EntidadeH tempo de existencia de Entidade acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9416-9421	Entidade e' uma instancia de Lesion Processo Processo e' uma instancia de Ferir Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3467-3494	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1465-1485	Fisico e' uma instancia de Shield Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Protecting Fisico e' um instrumento para Entidade Entidade e' uma instancia de Humano Entidade e' um patient de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6290-6298	Fisico e' uma instancia de ShrapnelExplosion Fisico tem por fim Entidade Entidade e' uma instancia de Ferir Entidade e' uma instancia de Matar Fisico causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3543-3567	Fisico e' uma instancia de SafetyVest Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de Humano Entidade usa Fisico aumenta a probabilidade de Entidade Entidade e' uma instancia de Visao Entidade e' um patient de Entidade Entidade experimenta Entidade Entidade Entidade e' uma instancia de Visao Entidade e' um patient de Entidade Entidade experimenta Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Ferir Entidade e' um agente de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3617-3641	Fisico e' uma instancia de AutoAirbag Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade contem Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Inflating Fisico e' um patient de Entidade Entidade causa Entidade hinders Entidade and a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3340-3358	Fisico e' uma instancia de SafetyDevice Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3660-3689	Fisico e' uma instancia de SeatBelt Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Vehicle Fisico e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade contem Entidade Entidade e' uma instancia de Processo Entidade proibe a ocurrencia de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6278-6284	parasite Organismo and Organismo Processo Processo e' uma instancia de Ferir Processo e' um agente de Organismo Organismo e' um patient de Processo

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: