Melting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Melting

Melting(溶化)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1422-1423
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13948-13949
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7313-7313
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6697-6697
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7309-7309
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7315-7315
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7310-7310
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7308-7308
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7316-7316
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7312-7312
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7307-7307
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7314-7314
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7306-7306
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7311-7311
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13947-13947	溶化是状态改变的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1227-1227
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1675-1675
No TPTP formula. May not be expressible in strict first order.	french_format.kif 905-905
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 438-438
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 441-441
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2589-2589
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 857-857
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 443-443
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 477-477
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 926-926
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 442-442

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13958-13966	如果过程是溶化的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和固体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和液体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13951-13956	如果过程是溶化的 instance，然后有存在另一个过程这样那个另外过程是加热的 instance 和那个另外过程%n是那个过程的subProcess

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13909-13924	如果实体是有点純物质的 instance 和实数测量单位是有点純物质的 boiling 点和另一个实数那个测量单位是那个有点純物质的 melting 点和那个测量单位是 UnitOfTemperature 的 instance 和那个实体的 measure 是第三实数那个测量单位在时距 holdsDuring 和那个第三实数是 greaterThan 那个另外实数和那个第三实数是 lessThan 那个实数，然后液体是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是溶化的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1142-1154	如果转移是雨雪的 instance，然后有存在群体，物理,，，另一个物理， and 和过程这样那个群体是群体的 instance 和 objectTransferred 那个转移 and 那个群体和那个物理是雨点的 instance 和那个另外物理是雪花的 instance 和那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个过程是溶化的 instance 和那个过程%n是那个转移的subProcess 和那个另外物理是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5653-5658	如果过程是焊接的 instance，然后有存在另一个过程这样那个另外过程是溶化的 instance 和那个另外过程%n是那个过程的subProcess

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