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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubmergedLandArea

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 5876-5877
(subclass SubmergedLandArea GeographicArea) Geography.kif 5874-5874

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


(subclass ContinentalMargin SubmergedLandArea) Geography.kif 5895-5895
(subclass ContinentalShelf SubmergedLandArea) Geography.kif 5888-5888
(subclass MaritimeShelfArea SubmergedLandArea) Geography.kif 1057-1057
(subclass SeabedArea SubmergedLandArea) Geography.kif 5911-5911
(termFormat ChineseLanguage SubmergedLandArea "淹没的土地面积") domainEnglishFormat.kif 55725-55725
(termFormat ChineseTraditionalLanguage SubmergedLandArea "淹沒的土地面積") domainEnglishFormat.kif 55724-55724
(termFormat EnglishLanguage SubmergedLandArea "submerged land area") domainEnglishFormat.kif 55723-55723

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


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

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 1599-1609


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