TreeView Knowledge Base Browser - StateChange

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StateChange

StateChange(Mudanca de Estado)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3335-3336
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13753-13754
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13752-13752	Mudanca de Estado 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 13922-13922	Ferver e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10488-10488	Clotting e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13968-13968	Condensar e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Food.kif 3179-3179	Curdling e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6991-6991	Deposition e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13947-13947	Evaporating e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13989-13989	Congelar e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13901-13901	Derreter e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7041-7041	Sublimation e' uma sub-classe de Mudanca de Estado
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1226-1226
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1673-1673
No TPTP formula. May not be expressible in strict first order.	french_format.kif 904-904
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 437-437
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 440-440
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2588-2588
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 856-856
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 476-476
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 925-925
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 441-441

antecedent

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

Merge.kif 13756-13767

Processo e' uma instancia de Mudanca de Estado Objeto e' um patient de Processo
Objeto Entidade and Entidade Objeto e' uma &parte de Objeto Entidade e' uma instancia de Estado Fisico Entidade e' uma instancia de Estado Fisico Entidade e' igual a Entidade 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

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