TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage UnderwaterRegion "under water")

antecedent

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

If X is an instance of under water, then there exists Y such that Y is an instance of water area and X is below to Y

consequent

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

If X is an instance of submarine, then X has the purpose there exist Y, Z such that Y is an instance of transportation, Z is an instance of under water, Y is located at Z, and X is an instrument for Y