TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12293-12293	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 12294-12296
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12292-12292	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 12520-12520	Breaking e' uma sub-classe de Causar Dano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12298-12298	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 10449-10449	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 30067-30075	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 10471-10476	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 30284-30298	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 13431-13440	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 13453-13462	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 1395-1413	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 8599-8609	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 12251-12259	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 11004-11014	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 3718-3759	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 29433-29444	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 29405-29417	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 30182-30190	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 17845-17853	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 15842-15844	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 10462-10469	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: