FreshWaterArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation FreshWaterArea ChineseLanguage "这是一处不含盐 Water 的 WaterArea，例如：河流和湖泊。")	chinese_format.kif 1451-1452
(documentation FreshWaterArea EnglishLanguage "A WaterArea whose Water is not saline, e.g. most rivers and lakes.")	Merge.kif 14213-14214
(externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg")	pictureList.kif 8492-8492
(subclass FreshWaterArea WaterArea)	Merge.kif 14212-14212	Fresh water area is a subclass of water area

appearance as argument number 2

(disjoint SaltWaterArea FreshWaterArea)	Merge.kif 14208-14208	Salt water area is disjoint from fresh water area
(subclass Creek FreshWaterArea)	Geography.kif 5743-5743	Creek is a subclass of fresh water area
(subclass Reservoir FreshWaterArea)	Geography.kif 5693-5693	Reservoir is a subclass of fresh water area
(subclass River FreshWaterArea)	Geography.kif 5542-5542	River is a subclass of fresh water area
(termFormat ChineseLanguage FreshWaterArea "淡水区")	chinese_format.kif 952-952	River is a subclass of fresh water area
(termFormat EnglishLanguage FreshWaterArea "fresh water area")	english_format.kif 1111-1111	River is a subclass of fresh water area
(termFormat FrenchLanguage FreshWaterArea "plan d'eau non sal�")	french_format.kif 628-628	River is a subclass of fresh water area
(termFormat Hindi FreshWaterArea "alavana jala kshetra")	terms-hindi.txt 159-159	River is a subclass of fresh water area
(termFormat ItalianLanguage FreshWaterArea "SuperficieD'AcquaDolce")	terms-it.txt 162-162	River is a subclass of fresh water area
(termFormat JapaneseLanguage FreshWaterArea "淡水地域")	japanese_format.kif 2313-2313	River is a subclass of fresh water area
(termFormat PortugueseLanguage FreshWaterArea "Area Aquatica nao-salgada")	portuguese_format.kif 580-580	River is a subclass of fresh water area
(termFormat cz FreshWaterArea "fresh water area")	terms-cz.txt 196-196	River is a subclass of fresh water area
(termFormat de FreshWaterArea "Suesswassergebiet")	terms-de.txt 455-455	River is a subclass of fresh water area
(termFormat ro FreshWaterArea "întindere de apã proaspãtã")	relations-ro.kif 649-649	River is a subclass of fresh water area
(termFormat tg FreshWaterArea "laki ng tubig wala asin")	terms-tg.txt 163-163	River is a subclass of fresh water area

antecedent

(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))

Geography.kif 5315-5320

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

(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea))	Geography.kif 5315-5320	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
(=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS))))	Geography.kif 6718-6723	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 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

KB Term:			Term intersection

English Word: