UnderwaterRegion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UnderwaterRegion EnglishLanguage "A Region that is under the surface of some Water.")	Mid-level-ontology.kif 17674-17675
(subclass UnderwaterRegion Region)	Mid-level-ontology.kif 17673-17673	Under water is a subclass of region

appearance as argument number 2

(termFormat EnglishLanguage UnderwaterRegion "under water")

Mid-level-ontology.kif 17676-17676

antecedent

(=>
    (instance ?R UnderwaterRegion)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?R ?WATER Below))))

Mid-level-ontology.kif 17678-17683

consequent

(=>
    (instance ?S Submarine)
    (hasPurpose ?S
        (exists (?T ?U)
            (and
                (instance ?T Transportation)
                (instance ?U UnderwaterRegion)
                (located ?T ?U)
                (instrument ?T ?S)))))

Mid-level-ontology.kif 17663-17671