TreeView Knowledge Base Browser - LiquidMotion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LiquidMotion

LiquidMotion(液体运动)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3021-3022
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11244-11246
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1786-1787
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11242-11242	液体运动是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21377-21377	流血的是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1512-1512	BleedingAir 是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 484-484	BloodCirculation 是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1741-1741	Cavitating 是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	CoffeeMaking 是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17523-17523	滴水是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17579-17579	洪水是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1480-1480	Perspiring 是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17532-17532	浇注是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17601-17601	喷是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17527-17527	搅拌是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11254-11254	水运动是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17550-17550	水波是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1600-1600	泣是液体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34655-34655
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34654-34654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34653-34653

appearance as argument number 3

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

Geography.kif 4925-4925

流动区域的 1 数量是液体运动的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 939-952	如果客体是 Faucet 的 instance 和过程是液体运动的 instance 和实体是那个过程的 patient 和那个过程是 located 在那个客体，然后不存在另一个实体这样那个另外实体是管的 instance 和那个另外实体 contains 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11248-11252	如果过程是液体运动的 instance 和客体是那个过程的 patient，然后液体是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	如果物理是 HeartAttack 的 instance 和客体是心的 instance 和那个物理是 located 在那个客体，然后有存在另一个客体这样那个另外客体是肌肉的 instance 和那个另外客体是那个客体的 part 和不存在时距和第三客体这样那个时距是液体运动的 instance 和 objectTransferred 那个时距 and 那个第三客体和那个第三客体是血液的 instance 和那个时距在那个物理出现的 time 时段内发生和那个时距在那个另外客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	如果物理是 Stroke 的 instance 和客体是脑的 instance 和那个物理是 located 在那个客体，然后有存在另一个客体这样那个另外客体是神经细胞的 instance 和那个另外客体是那个客体的 part 和不存在时距和第三客体这样那个时距是液体运动的 instance 和 objectTransferred 那个时距 and 那个第三客体和那个第三客体是血液的 instance 和那个时距在那个物理出现的 time 时段内发生和那个时距在那个另外客体结束
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	如果 suppliesBlood 有点动脉 and 有点身体部位和物理是有点动脉的 instance 和实体是有点身体部位的 instance，然后那个物理的目的是有存在另一个实体和第三实体这样那个另外实体是液体运动的 instance 和 objectTransferred 那个另外实体 and 那个第三实体和那个第三实体是血液的 instance 和那个另外实体在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	如果过程是 CoffeeMaking 的 instance，然后有存在另一个过程，实体， and 和另一个实体这样那个另外过程%n是那个过程的subProcess 和那个另外过程是液体运动的 instance 和那个实体是那个另外过程的 patient 和那个实体是饮用水的 instance 和那个另外过程在那个另外实体结束和那个另外实体是 CoffeeGrind 的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	如果时间位置是 CoffeeMaking 的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是液体运动的 instance 和那个另外实体是 Soaking 的 instance 和那个第三实体是移除的 instance 和那个实体出现的 time 的开始%n在那个另外实体出现的 time 的开始before发生和那个另外实体出现的 time 的开始%n在那个第三实体出现的 time 的开始before发生在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	如果时间位置是 EspressoMaking 的 instance，然后有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体,，，第七实体,，，第八实体,，，第九实体,，，第十实体， and 和第十一实体这样那个实体是加热的 instance 和那个另外实体是那个实体的 patient 和那个另外实体的 measure 是那个第三实体升和 approximateValue 那个第三实体 and 0.03 和那个另外实体的 measure 是那个第四实体摄氏度和 approximateValue 那个第四实体 and 90 在那个实体出现的 time 的结束 holdsDuring 和那个第五实体是液体运动的 instance 和那个另外实体是那个第五实体的 patient 和那个另外实体的 measure 是那个第六实体帕斯卡的一千倍和 approximateValue 那个第六实体 and 900 在那个第五实体 holdsDuring 和那个第五实体在那个第七实体结束和那个第七实体是群体的 instance 和那个第七实体的 measure 是那个第八实体公克和 approximateValue 那个第八实体 and 7.5 和那个第七实体是那个第九实体的 member 和那个第九实体是 CoffeeGrind 的 instance 和 FineGrind 是那个第九实体的 attribute 和那个第七实体是 located 在那个第十实体和那个第十实体是过滤的 instance 和那个第十一实体是移除的 instance 和那个第十实体是导致那个第十一实体的 instrument 和那个第七实体是那个第十一实体的 patient 和时间那个第五实体出现的 time 的结束是在时间那个实体出现的 time 的结束和时间那个第十一实体出现的 time 的结束 between 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10741-10750	如果物理是心的 instance，然后那个物理的目的是有存在实体，那个物理B， and 和第三实体这样那个物理B 是 HeartBeat 的 instance 和那个实体是液体运动的 instance 和那个第三实体是血液的 instance 和移动那个实体 and 那个第三实体和那个物理B causes 那个实体

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