Damaging - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12317-12317	Causar Dano e' disjunto de Consertar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3153-3154
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12318-12320
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12316-12316	Causar Dano e' uma sub-classe de Mudanca Interna

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12544-12544	Breaking e' uma sub-classe de Causar Dano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12322-12322	Destrucao e' uma sub-classe de Causar Dano
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2715-2715	ForestDamage e' uma sub-classe de Causar Dano
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.	MilitaryProcesses.kif 220-220	Sabotage e' uma sub-classe de Causar Dano
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1160-1160
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	french_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 370-370
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 373-373
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2522-2522
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 409-409
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 859-859
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30103-30111	Processo e' uma instancia de Causar Dano Entidade e' uma instancia de Aparelho Entidade e' um patient de Processo DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	Processo e' uma instancia de Causar Dano Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Agente Cognitivo acredita que Dangerous e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	Processo e' uma instancia de Causar Dano Objeto e' um instrumento para Processo Objeto e' uma instancia de Substancia Biologica Ativa Objeto e' uma instancia de Toxin
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.	MilitaryDevices.kif 35-43	weaponCarryingCapability MilitaryVehicle, Arma and Inteiro positivo Objeto e' uma instancia de Arma Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Processo e' uma sub-classe de Causar Dano MilitaryVehicle e' capaz de fazer Processo no role Role em Caso

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30320-30334	Processo e' feito de forma Harmless Processo e' uma instancia de Causar Dano Processo2 Processo2 e' uma instancia de Causar Dano Processo2 e' um sub-processo de Processo Processo2 Processo2 e' uma instancia de Causar Dano Processo causa Processo2
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Causar Dano Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13455-13464	Processo e' uma instancia de Attack Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem finalidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um patient de Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Objeto Processo Objeto e' uma instancia de Vein Objeto e' uma instancia de Artery Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Causar Dano tempo de existencia de Processo acontence antes de tempo de existencia de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13477-13486	Processo e' uma instancia de DefensiveManeuver Processo e' um agente de AutonomousAgent Processo tem finalidade Entidade Entidade e' uma instancia de Causar Dano AutonomousAgent e' um patient de Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	Processo e' uma instancia de PreciseDestruction Entidade e' um patient de Processo Processo tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um sub-processo de Processo Entidade e' um patient de Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1406	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8627-8637	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento Processo Processo e' uma instancia de Causar Dano AutonomousAgent experimenta Processo Movimento causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12275-12283	Processo e' uma instancia de Consertar Entidade e' um patient de Processo Processo Processo e' uma instancia de Causar Dano Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11032-11042	Processo e' uma instancia de Sunburn AutonomousAgent experimenta Processo Processo ProcessoKIN Processo e' uma instancia de Causar Dano Sol e' um instrumento para Processo ProcessoKIN e' uma instancia de Skin ProcessoKIN e' uma &parte de AutonomousAgent ProcessoKIN e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	Objeto e' uma instancia de HighPrecisionWeapon Objeto e' um instrumento para Processo Entidade e' um patient de Processo Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um sub-processo de Processo Entidade e' um patient de Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3695-3736	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29496-29507	DeviceDamaged e' um atributo de Objeto ObjetoAM ObjetoAM e' uma instancia de Causar Dano Objeto e' um patient de ObjetoAM Processo Processo e' uma instancia de Consertar Objeto e' um patient de Processo tempo de existencia de ObjetoAM acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29468-29480	DeviceNormal e' um atributo de Objeto ObjetoAM ObjetoAM e' uma instancia de Causar Dano Objeto e' um patient de ObjetoAM Processo Processo e' uma instancia de Consertar Objeto e' um patient de Processo tempo de existencia de ObjetoAM acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	hazardous Fisico and Objeto o argumento Entidade Entidade e' uma instancia de Causar Dano Objeto e' um patient de Entidade involvedInEvent Entidade and Fisico Fisico causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	Antivaxxer e' um atributo de Agente Cognitivo vale durante Posicao Temporal Agente Cognitivo acredita que Entidade Entidade Entidade e' uma instancia de Vaccination Entidade e' uma instancia de Causar Dano Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30218-30226	Undamaged e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de Causar Dano Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 483-490	Fisico e' uma instancia de BlisterAgent Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Tecido Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	Fisico e' uma instancia de BiochemicalAttack Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um patient de Entidade Fisico causa Entidade Entidade e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17873-17881	Fisico e' uma instancia de ExplosiveDevice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Explosion Fisico e' um instrumento para Entidade Entidade causa Entidade Entidade e' uma instancia de Causar Dano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15870-15872	Objeto e' uma instancia de Explosion Objeto e' capaz de fazer Causar Dano no role instrument
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.	MilitaryDevices.kif 976-990	Fisico e' uma instancia de AirAttackMissile Fisico tem por fim Entidade Entidade and Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de AtmosphericRegion Fisico e' situado em Entidade Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1108-1121	Fisico e' uma instancia de BeamRidingGMissile Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Causar Dano Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Irradiar Entidade e' um instrumento para Entidade Entidade e' uma instancia de Radar Entidade e' uma instancia de LightFixture Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 999-1013	Fisico e' uma instancia de GroundAttackMissile Fisico tem por fim Entidade Entidade and Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Area Geografica Fisico e' situado em Entidade Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Entidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: