TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Submarine WaterVehicle)	Mid-level-ontology.kif 19578-19578	Submarine is a subclass of water vehicle
(documentation Submarine EnglishLanguage "A WaterVehicle which is capable of travelling under the water level by filling tanks with water.")	Mid-level-ontology.kif 19579-19580	Submarine is a subclass of water vehicle
(externalImage Submarine "http://upload.wikimedia.org/wikipedia/commons/ c/ c5/ U995_2004_1.jpg")	pictureList.kif 2008-2008	Submarine is a subclass of water vehicle
(externalImage Submarine "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ ALVIN_submersible.jpg")	pictureList.kif 2383-2383	Submarine is a subclass of water vehicle

appearance as argument number 2

(termFormat EnglishLanguage Submarine "submarine")	Mid-level-ontology.kif 19581-19581
(termFormat ChineseTraditionalLanguage Submarine "潛艇")	domainEnglishFormat.kif 55736-55736
(termFormat ChineseLanguage Submarine "潜艇")	domainEnglishFormat.kif 55737-55737

antecedent

(=>
    (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