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 13138-13139
(externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg") pictureList.kif 8496-8496
(subclass FreshWaterArea WaterArea) Merge.kif 13137-13137 淡水区水域subclass

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


(disjoint SaltWaterArea FreshWaterArea) Merge.kif 13133-13133 盐水区 和 % 2 是 disjoint
(subclass Creek FreshWaterArea) Geography.kif 5365-5365 淡水区subclass
(subclass Reservoir FreshWaterArea) Geography.kif 5315-5315 贮水池淡水区subclass
(subclass River FreshWaterArea) Geography.kif 5165-5165 淡水区subclass
(termFormat ChineseLanguage FreshWaterArea "淡水区") chinese_format.kif 952-952
(termFormat EnglishLanguage FreshWaterArea "fresh water area") english_format.kif 1116-1116

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


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

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 4939-4944
(=>
    (instance ?OASIS Oasis)
    (exists (?WATER)
        (and
            (instance ?WATER FreshWaterArea)
            (located ?WATER ?OASIS))))
Geography.kif 6085-6090


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