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(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 31601-31601	roomTempState freshwater and liquid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	Freshwater is a subclass of water

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	Potable water is a subclass of freshwater
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	Tap water is a subclass of freshwater
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 26829-26837

If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of freshwater and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object,
then warm is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9561-9574	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4734-4739	If a self connected object is an instance of swimming pool and the self connected object contains an object and the object is an instance of fluid, then the object is an instance of freshwater
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10925-10932	If an object is an instance of distilled alcoholic beverage, then there exist a process and an entity such that the process is an instance of removing and the entity is a patient of the process and the entity is an instance of freshwater and the process originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8812-8820	If an object is an instance of oil, then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of freshwater and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5579-5586	If a process is an instance of washing, then there exist an object and another object such that the object is an instance of detergent and the object is an instrument for the process and the other object is an instance of freshwater and the other object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3208-3213	If an object is an instance of watercolor paint, then there exists another object such that the other object is an instance of freshwater and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9507-9519	If a physical is an instance of plant root, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26527-26536	If a process is an instance of soaking, then there exist an object and an entity such that the entity is an instance of object and the entity is a patient of the process and the object is an instance of freshwater and the object is a resource for the process and the entity is surrounded to the object holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2769-2777	If a physical is an instance of water pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and the other entity is an instance of freshwater and the object transferred in the entity is the other entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25662-25670	If a physical is an instance of water heater, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of heating and the other entity is an instance of freshwater and the other entity is a patient of the entity and the physical is an instrument for the entity

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