TreeView Knowledge Base Browser - Freezing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Freezing

Freezing(congeler)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1430-1431
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14036-14037
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14035-14035	Congeler est une sous-classe de changement d'�tat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 185-185	PreservingFood est reli� � l'int�rieur de SUMO � congeler
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2495-2495	Icing est une sous-classe de congeler
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1230-1230
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1681-1681
No TPTP formula. May not be expressible in strict first order.	french_format.kif 908-908
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 441-441
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 444-444
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2592-2592
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 860-860
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 446-446
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 480-480
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 929-929
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 445-445

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14046-14054	Processus est une instance de congeler objet est un patient de processus objet objet est une partie de objet Liquid est un attribut de objet pendant le d�but de temps d'existence de processus Solid est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14039-14044	Processus est une instance de congeler processus processus est une instance de refroidir processus est un sous-processus de processus

consequent

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

Merge.kif 13926-13939

Entit� est une instance de substance pure meltingPoint substance pure and nombre r�el unit� de mesure(s) la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est moins que nombre r�el
Solid est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de congeler entit� est un patient de processus

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