TreeView Knowledge Base Browser - SeaWater

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SeaWater

SeaWater(sea water)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2822-2826
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2821-2821	Sea water is a subclass of saline solution
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2820-2820	Sea water is a subclass of water

appearance as argument number 2

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

Geography.kif 2827-2827

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2836-2845	If an object is an instance of sea water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the approximate value of the real number is 35.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2829-2834	If a physical is an instance of sea water, then there exists an object such that the physical is located at the object and the object is an instance of salt water area

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