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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13908-13909
(externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg") pictureList.kif 8494-8494
(subclass FreshWaterArea WaterArea) Merge.kif 13907-13907

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


(disjoint SaltWaterArea FreshWaterArea) Merge.kif 13903-13903
(subclass Creek FreshWaterArea) Geography.kif 5571-5571
(subclass Reservoir FreshWaterArea) Geography.kif 5521-5521
(subclass River FreshWaterArea) Geography.kif 5371-5371
(termFormat ChineseLanguage FreshWaterArea "淡水区") chinese_format.kif 952-952
(termFormat EnglishLanguage FreshWaterArea "fresh water area") english_format.kif 1111-1111

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


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

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


(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))
Geography.kif 5144-5149
(=>
    (instance ?OASIS Oasis)
    (exists (?WATER)
        (and
            (instance ?WATER FreshWaterArea)
            (located ?WATER ?OASIS))))
Geography.kif 6338-6343


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