MilitaryWaterVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MilitaryWaterVehicle MilitaryVehicle)	Military.kif 228-228	Military water vehicle is a subclass of military vehicle
(documentation MilitaryWaterVehicle EnglishLanguage "MilitaryWaterVehicle is the class of all WaterVehicle owned or leased for use by some MilitaryOrganization.")	Military.kif 229-230	Military water vehicle is a subclass of military vehicle

appearance as argument number 2

(subclass Warship MilitaryWaterVehicle)	Military.kif 285-285	Warship is a subclass of military water vehicle
(termFormat EnglishLanguage MilitaryWaterVehicle "military water vehicle")	domainEnglishFormat.kif 37775-37775	Warship is a subclass of military water vehicle
(termFormat ChineseTraditionalLanguage MilitaryWaterVehicle "軍用船隻")	domainEnglishFormat.kif 37776-37776	Warship is a subclass of military water vehicle
(termFormat ChineseLanguage MilitaryWaterVehicle "军用船只")	domainEnglishFormat.kif 37777-37777	Warship is a subclass of military water vehicle

antecedent

(=>
    (instance ?M MilitaryWaterVehicle)
    (exists (?O)
        (and
            (uses ?M ?O)
            (instance ?O MilitaryOrganization))))

consequent

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