Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  FreshWaterArea

Sigma KEE - FreshWaterArea
FreshWaterArea(淡水区)

appearance as argument number 1
-------------------------


(documentation FreshWaterArea ChineseLanguage "这是一处不含盐 WaterWaterArea,例如: 河流和湖泊。") chinese_format.kif 1451-1452
(documentation FreshWaterArea EnglishLanguage "A WaterArea whose Water is not saline, e.g. most rivers and lakes.") Merge.kif 14292-14293
(externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg") pictureList.kif 8492-8492
(subclass FreshWaterArea WaterArea) Merge.kif 14291-14291 淡水区水域subclass

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5537-5542

consequent
-------------------------


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5537-5542
(=>
    (instance ?OASIS Oasis)
    (exists (?WATER)
        (and
            (instance ?WATER FreshWaterArea)
            (located ?WATER ?OASIS))))
Geography.kif 6987-6992


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