TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3195-3195
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12613-12614
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12612-12612	Mudanca Superficial 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 12631-12631	Colorir e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18008-18008	Digging e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3333-3333	Drawing e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18095-18095	Drilling e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25231-25231	Roughening e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25215-25215	Smoothing e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18022-18022	Tilling e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3310-3310	Tracing e' uma sub-classe de Mudanca Superficial
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1174-1174
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1565-1565
No TPTP formula. May not be expressible in strict first order.	french_format.kif 852-852
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 384-384
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 387-387
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2536-2536
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 804-804
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 389-389
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 873-873
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 388-388

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12616-12629

Processo e' uma instancia de Mudanca Superficial Objeto e' um patient de Processo
Objeto Entidade Objeto e' uma parte superficial de Objeto Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2923-2939	Colecao e' uma instancia de Organizacao PrintingAndRelatedSupportActivities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Mudanca Superficial Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1924-1932	Fisico e' uma instancia de BrushOrComb Fisico tem por fim Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Mudanca Superficial Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2538-2540	Objeto e' uma instancia de FileDevice Objeto e' capaz de fazer Mudanca Superficial no role instrument
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5990-5999	Fisico e' uma instancia de Lathe Fisico tem por fim Entidade Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Mudanca de Forma Entidade e' uma instancia de Mudanca Superficial

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: