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 14012-14013
No TPTP formula. May not be expressible in strict first order. Merge.kif 14011-14011 结冰 是 状态改变 的 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 2508-2508 刨冰 是 结冰 的 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 14022-14030
No TPTP formula. May not be expressible in strict first order. Merge.kif 14015-14020

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13902-13915


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