TreeView Knowledge Base Browser - FreshWater

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FreshWater

FreshWater(淡水)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2732-2733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1767-1767
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31633-31633	roomTempState 淡水 and 液体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	淡水是水的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	饮用水是淡水的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	TapWater 是淡水的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25034-25034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25033-25033
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25032-25032

antecedent

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

Mid-level-ontology.kif 26862-26870

如果自身连接物体是 HeatedPool 的 instance 和那个自身连接物体 contains 客体和那个客体是淡水的 instance 和那个自身连接物体是另一个客体的 part 和那个另外客体是 WaterHeater 的 instance 和设备上是那个另外客体的 attribute，
然后 WarmTemperature 是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9588-9601	如果客体是植物的 instance 和另一个客体是那个客体的 part，然后有存在过程，实体， and 和另一个有点过程这样那个过程是另一个有点过程的 instance 和那个另外有点过程是保存的 subclass 和那个实体是淡水的 instance 和那个实体是那个过程的 patient 和那个另外客体能够担当工具的角色做那个另外有点过程和那个另外客体是 PlantLeaf 的 instance 或那个另外客体是 PlantStem 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4729-4734	如果自身连接物体是游泳池的 instance 和那个自身连接物体 contains 客体和那个客体是流体的 instance，然后那个客体是淡水的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10952-10959	如果客体是蒸馏酒精饮料的 instance，然后有存在过程和实体这样那个过程是移除的 instance 和那个实体是那个过程的 patient 和那个实体是淡水的 instance 和那个客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8839-8847	如果客体是油的 instance，然后不存在另一个客体和第三客体这样那个另外客体是混合物的 instance 和那个第三客体是那个另外客体的 part 和那个第三客体是淡水的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5573-5580	如果过程是洗涤的 instance，然后有存在客体和另一个客体这样那个客体是洗涤剂的 instance 和那个客体是导致那个过程的 instrument 和那个另外客体是淡水的 instance 和那个另外客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3201-3206	如果客体是水彩颜料的 instance，然后有存在另一个客体这样那个另外客体是淡水的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9534-9546	如果物理是植物根的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个物理是导致那个实体的 instrument 和那个第三实体是那个实体的源头和那个第三实体在那个物理的外和 objectTransferred 那个实体 and 那个另外实体和那个另外实体是淡水的 instance 或那个另外实体是营养的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26560-26569	如果过程是 Soaking 的 instance，然后有存在客体和实体这样那个实体是客体的 instance 和那个实体是那个过程的 patient 和那个客体是淡水的 instance 和那个客体是那个过程的 resource 和那个实体在那个客体的 Surrounded 在那个过程 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2752-2760	如果物理是 WaterPump 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是转移的 instance 和那个另外实体是淡水的 instance 和 objectTransferred 那个实体 and 那个另外实体和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25695-25703	如果物理是 WaterHeater 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是加热的 instance 和那个另外实体是淡水的 instance 和那个另外实体是那个实体的 patient 和那个物理是导致那个实体的 instrument

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