TreeView Knowledge Base Browser - QuantityChange

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - QuantityChange

QuantityChange(Modificacao de Quantidade)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2981-2982
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10875-10876
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1741-1742
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10873-10873	O conceito Modificacao de Quantidade e' completamente decomposto em Aumentar + Diminuir
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10872-10872	Modificacao de Quantidade 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 10935-10935	Diminuir e' uma sub-classe de Modificacao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3343-3343	Focusing e' uma sub-classe de Modificacao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10893-10893	Aumentar e' uma sub-classe de Modificacao de Quantidade
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1108-1108
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1433-1433
No TPTP formula. May not be expressible in strict first order.	french_format.kif 786-786
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 318-318
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 321-321
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2470-2470
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 738-738
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 323-323
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 357-357
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 807-807
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 322-322

antecedent

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

Merge.kif 10878-10891

Processo e' uma instancia de Modificacao de Quantidade Entidade e' um patient de Processo
Entidade Entidade, Intervalo Temporal, Intervalo Temporal and Entidade Intervalo Temporal acontence antes de Intervalo Temporal a medida de Entidade e' Entidade Entidade(s) vale durante Intervalo Temporal a medida de Entidade e' Entidade Entidade(s) vale durante Intervalo Temporal Entidade e' igual a 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