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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubmergedLandArea

Sigma KEE - SubmergedLandArea
SubmergedLandArea(submerged land area)

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


(documentation SubmergedLandArea EnglishLanguage "SubmergedLandArea is the class of land regions that are located beneath bodies of water.") Geography.kif 6069-6070
(subclass SubmergedLandArea GeographicArea) Geography.kif 6067-6067 Submerged land area is a subclass of geographic area

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


(subclass ContinentalMargin SubmergedLandArea) Geography.kif 6088-6088 Continental margin is a subclass of submerged land area
(subclass ContinentalShelf SubmergedLandArea) Geography.kif 6081-6081 Continental shelf is a subclass of submerged land area
(subclass MaritimeShelfArea SubmergedLandArea) Geography.kif 1058-1058 Maritime shelf area is a subclass of submerged land area
(subclass SeabedArea SubmergedLandArea) Geography.kif 6104-6104 Seabed area is a subclass of submerged land area
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") domainEnglishFormat.kif 55746-55746
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") domainEnglishFormat.kif 55745-55745
(termFormat EnglishLanguage SubmergedLandArea "submerged land area") domainEnglishFormat.kif 55744-55744

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


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

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 1598-1608


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