Impacting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Impacting

Impacting(Impactar)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3056-3057
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11557-11559
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1824-1825
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11555-11555	Impactar e' uma sub-classe de Tocar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13090-13090	Clapping e' uma sub-classe de Impactar
No TPTP formula. May not be expressible in strict first order.	Food.kif 961-961	Crushing e' uma sub-classe de Impactar
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1559-1559	TouchSurfaceTap e' uma sub-classe de Impactar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1128-1128
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1473-1473
No TPTP formula. May not be expressible in strict first order.	french_format.kif 806-806
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 338-338
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 341-341
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2490-2490
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 758-758
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 343-343
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 377-377
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 827-827
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 342-342

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	Entidade e' uma instancia de Bell Processo e' uma instancia de Impactar Processo termina em Entidade Processo Processo e' uma instancia de MusicalTone Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	Processo e' uma instancia de Impactar Entidade e' um patient de Processo ImpairedBodyPartFn Brain e' um atributo de Entidade vale durante imediatemente apos Processo o argumento Concussion e' um atributo de Entidade vale durante imediatemente apos Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11561-11569	Processo e' uma instancia de Impactar Entidade e' um patient de Processo Processo Processo e' uma instancia de Propulsionar Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	Processo e' uma instancia de Dodging Processo e' um agente de AutonomousAgent ProcessoT e' igual a tempo de existencia de Processo Processo tem por fim Entidade ProcessoT encontra tempo de existencia de Entidade tempo de existencia de Entidade engloba ProcessoT Entidade e' uma instancia de Impactar AutonomousAgent e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25828-25840	Objeto e' uma instancia de KnockLight AutonomousAgent e' uma instancia de Humano Deaf e' um atributo de AutonomousAgent AutonomousAgent usa Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Door AutonomousAgent sabe Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Fisico e' uma instancia de KnockLight Fisico e' situado em Objeto Objeto e' uma instancia de Comodo Objeto e' uma instancia de Door Objeto e' uma &parte de Objeto Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Impactar Objeto e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade e' uma instancia de RadiatingVisibleLight Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13123-13130	Processo e' uma instancia de Ducking Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade e' uma instancia de Impactar AutonomousAgent e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 969-978	Processo e' uma instancia de Crushing Processo Processo and Entidade Processo e' uma instancia de Impactar Processo e' um sub-processo de Processo Processo e' uma instancia de Compressing Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 1365-1375	Processo e' uma instancia de Drumming AutonomousAgent ProcessoRUM and Processo Processo e' um agente de AutonomousAgent ProcessoRUM e' um instrumento para Processo Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent ProcessoRUM e' um patient de Processo Processo e' uma instancia de Impactar ProcessoRUM e' uma instancia de Drum
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3640-3664	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 3683-3712	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

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