TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Destroyer Warship)	Military.kif 303-303	Destroyer is a subclass of warship
(documentation Destroyer EnglishLanguage "In naval terminology, a Destroyer is a fast, maneuverable, long-endurance warship intended to escort larger vessels in a fleet, convoy, or carrier battle group and defend them against a wide range of general threats. [Wikipedia]")	Military.kif 304-306	Destroyer is a subclass of warship

appearance as argument number 2

(termFormat EnglishLanguage Destroyer "Destroyer")	Military.kif 307-307
(subclass GuidedMissileDestroyer Destroyer)	Military.kif 321-321	Guided missile destroyer is a subclass of Destroyer

antecedent

(=>
    (instance ?D Destroyer)
    (hasPurpose ?D
        (exists (?P ?F)
            (and
                (instance ?P Protecting)
                (instrument ?P ?D)
                (patient ?P ?F)
                (instance ?F Fleet)
                (memberType ?F MilitaryWaterVehicle)
                (capability ViolentContest instrument ?D)))))

If X is an instance of Destroyer, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of protecting (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of Fleet (6) military water vehicle is a member type of Z (7) X is capable of doing violent contest as a instrument