FreshWater - Sigma Knowledge base Browser

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 2720-2721
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1766-1766
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33305-33305	room temperature state freshwater and liquid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2718-2718	Freshwater is a subclass of water

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2798-2798	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 25062-25062	Tap water is a subclass of freshwater
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25061-25061	Tap water is a subclass of freshwater
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25060-25060	Tap water is a subclass of freshwater

antecedent

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

Mid-level-ontology.kif 28487-28495

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 10908-10921	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 5209-5214	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 12274-12281	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 10036-10044	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 6535-6542	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 3670-3675	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 10854-10866	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 28185-28194	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 2753-2761	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 27319-27327	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 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