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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SubmergedLandArea
SubmergedLandArea

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


(documentation SubmergedLandArea EnglishLanguage "SubmergedLandArea is the class of land regions that are located beneath bodies of water.") Geography.kif 6372-6373
(subclass SubmergedLandArea GeographicArea) Geography.kif 6370-6370

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


(subclass ContinentalMargin SubmergedLandArea) Geography.kif 6391-6391
(subclass ContinentalShelf SubmergedLandArea) Geography.kif 6384-6384
(subclass MaritimeShelfArea SubmergedLandArea) Geography.kif 1222-1222
(subclass SeabedArea SubmergedLandArea) Geography.kif 6407-6407
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") domainEnglishFormat.kif 55750-55750
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") domainEnglishFormat.kif 55749-55749
(termFormat EnglishLanguage SubmergedLandArea "submerged land area") domainEnglishFormat.kif 55748-55748

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


(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 6375-6382

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


(=>
    (and
        (instance ?F Flooding)
        (instance ?L LandArea)
        (eventLocated ?F ?L)
        (instance ?T TimePoint)
        (before ?T
            (WhenFn ?F)))
    (modalAttribute
        (holdsDuring ?T
            (instance ?L SubmergedLandArea)) Unlikely))
Weather.kif 2322-2332


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