StaticWaterArea - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StaticWaterArea

StaticWaterArea(static water area)

Boston_Harbor, Caesarea, Pearl_Harbor, Zuider_Zee, abyssal_zone, bayou, billabong, bog, high_sea, international_waters, lacustrine, lagoon, laguna, lagune, liman, mire, mud_puddle, paddy, paddy_field, peat_bog, pool, puddle, rice_paddy, slack, slack_water, slough, sound, wallow, water_hole

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9040-9041
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9039-9039	Static water area is a subclass of water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9034-9034	Stream water area is disjoint from static water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4941-4941	Water current is disjoint from static water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5727-5727	Lake is a subclass of static water area
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 954-954
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1115-1115
No TPTP formula. May not be expressible in strict first order.	french_format.kif 630-630
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 164-164
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2315-2315
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 582-582
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 198-198
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 651-651
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 165-165

consequent

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

Geography.kif 5524-5531

If an object is an instance of river system,
then there exist another object and a third object such that the other object is an instance of river and the other object is a part of the object and the third object is an instance of static water area and the other object is connected to the third object

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