TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3157-3158
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12314-12316
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12313-12313	Matar e' uma sub-classe de Destrucao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18256-18256	Execution e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18072-18072	Harvesting e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22038-22038	Lynching e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18443-18443	Murder e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2800-2800	Poaching e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18489-18489	Starving e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18454-18454	Suffocating e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18274-18274	Suicide e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22091-22091	SuicideBombing e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 243-243	UdhiyahRitual e' uma sub-classe de Matar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1162-1162
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1541-1541
No TPTP formula. May not be expressible in strict first order.	french_format.kif 840-840
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 372-372
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 375-375
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2524-2524
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 377-377
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 411-411
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 861-861
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 376-376

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12318-12325	Processo e' uma instancia de Matar Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Organismo Entidade e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12335-12343	Processo e' uma instancia de Matar AutonomousAgent e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12333	Processo e' uma instancia de Matar Entidade e' um patient de Processo Living e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	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) Objeto e' uma instancia de Organismo 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.	Merge.kif 12932-12942	Processo e' uma instancia de Hunting Entidade e' um patient de Processo Processo tem por fim EntidadeROC Entidade e' um patient de EntidadeROC EntidadeROC e' uma instancia de Confinar EntidadeROC e' uma instancia de Matar
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	Colecao e' uma instancia de Organizacao AgricultureForestryFishingAndHunting e' um atributo de Colecao Processo AutonomousAgent AutonomousAgent e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 Processo e' uma instancia de Matar Processo e' uma instancia de Preservar Entidade e' um patient de Processo Entidade e' uma instancia de Animal Entidade e' uma instancia de Planta Entidade e' uma instancia de Humano AutonomousAgent2 e' membro de Colecao Processo2 e' uma instancia de Vender Processo2 e' um agente de AutonomousAgent2 Entidade e' um patient de Processo2
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1013-1015	Objeto e' uma instancia de LifeThreateningAgent Objeto e' capaz de fazer Matar no role instrument
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	Objeto e' uma instancia de Antibiotic Sequencia Simbolica Entidade Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12345-12347	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Matar no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12351	Objeto e' uma instancia de Organismo Objeto e' capaz de fazer Matar no role patient
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.	Mid-level-ontology.kif 2226-2236	Fisico e' uma instancia de Toothbrush Fisico tem por fim Entidade Entidade and FisicoOOTH FisicoOOTH e' uma instancia de Tooth Fisico e' um instrumento para Entidade Entidade e' uma instancia de Matar Entidade e' uma instancia de Bacteria Entidade e' um patient de Entidade FisicoOOTH e' um patient de Entidade

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: