Warship - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Warship Ship)	Military.kif 286-286	Warship is a subclass of ship
(subclass Warship MilitaryWaterVehicle)	Military.kif 287-287	Warship is a subclass of military water vehicle
(documentation Warship EnglishLanguage "A Warship is a ship that is used for naval warfare.The main types of warships today are, in order of decreasing size: aircraft carriers, amphibious assault ships,cruisers,destroyers,frigates,corvettes,fast attack boats.[Wikipedia]")	Military.kif 288-290	Warship is a subclass of military water vehicle
(externalImage Warship "http://upload.wikimedia.org/wikipedia/commons/5/ 56/ USS_Lassen_030615-N-0905V-006.jpg")	pictureList.kif 2256-2256	Warship is a subclass of military water vehicle

appearance as argument number 2

(subclass Destroyer Warship)	Military.kif 303-303	Destroyer is a subclass of warship
(subclass AircraftCarrier Warship)	Transportation.kif 2645-2645	Aircraft carrier is a subclass of warship
(termFormat EnglishLanguage Warship "warship")	domainEnglishFormat.kif 37727-37727	Aircraft carrier is a subclass of warship
(termFormat ChineseTraditionalLanguage Warship "軍艦")	domainEnglishFormat.kif 37728-37728	Aircraft carrier is a subclass of warship
(termFormat ChineseLanguage Warship "军舰")	domainEnglishFormat.kif 37729-37729	Aircraft carrier is a subclass of warship

antecedent

(=>
    (instance ?S Warship)
    (hasPurpose ?S
        (exists (?V ?R)
            (and
                (instance ?V ViolentContest)
                (eventLocated ?V ?R)
                (instance ?R BodyOfWater)
                (instrument ?V ?S)))))

If X is an instance of warship, then X has the purpose there exist Y, Z such that Y is an instance of violent contest, Y is located at Z, Z is an instance of body of water, and X is an instrument for Y