Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Freezing
Freezing(结冰)

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 13990-13991
No TPTP formula. May not be expressible in strict first order. Merge.kif 13989-13989 结冰 是 状态改变 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 185-185 PreservingFood 和 结冰 是 内部相关
No TPTP formula. May not be expressible in strict first order. Weather.kif 2512-2512 刨冰 是 结冰 的 subclass
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 14000-14008
No TPTP formula. May not be expressible in strict first order. Merge.kif 13993-13998

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13880-13893


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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