TreeView Knowledge Base Browser - FreshWaterArea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FreshWaterArea

FreshWaterArea(fresh water area)

Darling, Darling_River, Great_Lakes, Sabine, fishpond, horsepond

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1451-1452
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14139-14140
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8493-8493
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14138-14138	Fresh water area is a subclass of water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14134-14134	Salt water area is disjoint from fresh water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5674-5674	Creek is a subclass of fresh water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5624-5624	Reservoir is a subclass of fresh water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5473-5473	River is a subclass of fresh water area
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 952-952
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1111-1111
No TPTP formula. May not be expressible in strict first order.	french_format.kif 628-628
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 159-159
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 162-162
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2313-2313
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 580-580
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 196-196
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 649-649
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 163-163

antecedent

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

Geography.kif 5246-5251

If an object is an instance of inlet and the object meets another object and the other object is an instance of fresh water area,
then the object is an instance of fresh water area

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5246-5251	If an object is an instance of inlet and the object meets another object and the other object is an instance of fresh water area, then the object is an instance of fresh water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6650-6655	If an object is an instance of oasis, then there exists a physical such that the physical is an instance of fresh water area and the physical is located at the object

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