TreeView Knowledge Base Browser - Boiling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Boiling

Boiling(沸腾)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1424-1425
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13945-13946
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1670-1670
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13944-13944	沸腾是状态改变的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1228-1228
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1677-1677
No TPTP formula. May not be expressible in strict first order.	french_format.kif 906-906
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 439-439
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 442-442
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2590-2590
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 858-858
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 444-444
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 478-478
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 927-927
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 443-443

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13955-13963	如果过程是沸腾的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和液体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13853-13861	如果过程是沸腾的 instance 和实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体是那个过程的 patient 和那个实体的 measure 是另一个实数那个测量单位在那个过程出现的 time holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13948-13953	如果过程是沸腾的 instance，然后有存在另一个过程这样那个另外过程是加热的 instance 和那个另外过程%n是那个过程的subProcess

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13876	如果实数测量单位是有点純物质的 boiling 点和实体是有点純物质的 instance 和那个实体的 measure 是另一个实数那个测量单位在时距 holdsDuring 和那个测量单位是 UnitOfTemperature 的 instance 和那个另外实数是 greaterThanOrEqualTo 那个实数，然后加油站是那个实体的 attribute 在那个时距 holdsDuring 或有存在过程这样那个时距时段和那个过程出现的 time 重叠和那个过程是沸腾的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13965-13967	如果液体是客体的 attribute，然后那个客体能够担当受事的角色做沸腾
No TPTP formula. May not be expressible in strict first order.	Food.kif 1760-1769	如果实体是 Jam 的 instance，然后有存在过程，另一个实体， and 和第三实体这样那个过程是沸腾的 instance 和那个另外实体是那个过程的 patient 和那个另外实体是水果的 instance 和那个第三实体是那个过程的 patient 和那个第三实体是糖的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25638-25646	如果客体是 Steam 的 instance，然后有存在过程和实体这样那个过程是沸腾的 instance 和那个实体是水的 instance 和那个实体是那个过程的 patient 和那个客体是那个过程的 result 和加油站是那个客体的 attribute

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