TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MilitaryPlatform EnglishLanguage "Military platforms.These are usually mobile entities which can carry military equipment such as Weapons and communications equipment. Often, as with a tank outfitted with a gun, a MilitaryPlatform carrying some Weapon comprises a WeaponSystem.")	Military.kif 126-129
(subclass MilitaryPlatform TransportationDevice)	Military.kif 130-130	Military platform is a subclass of transportation device
(externalImage MilitaryPlatform "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ ea/ Swedish_CV9040.JPG/ 180px_Swedish_CV9040.JPG")	pictureList.kif 1182-1182	Military platform is a subclass of transportation device

appearance as argument number 2

(subclass MilitaryVehicle MilitaryPlatform)	Military.kif 142-142	Military vehicle is a subclass of military platform
(termFormat EnglishLanguage MilitaryPlatform "military platform")	domainEnglishFormat.kif 37691-37691	Military vehicle is a subclass of military platform
(termFormat ChineseTraditionalLanguage MilitaryPlatform "軍事平台")	domainEnglishFormat.kif 37692-37692	Military vehicle is a subclass of military platform
(termFormat ChineseLanguage MilitaryPlatform "军事平台")	domainEnglishFormat.kif 37693-37693	Military vehicle is a subclass of military platform

antecedent

(=>
    (instance ?P MilitaryPlatform)
    (hasPurpose ?P
        (exists (?C ?W ?S)
            (and
                (instance ?C Carrying)
                (instrument ?C ?P)
                (objectTransferred ?S ?W)
                (instance ?W Weapon)))))

If X is an instance of military platform, then X has the purpose there exist Y, Z, W such that Y is an instance of carrying, X is an instrument for Y, the object transferred in W is Z, and Z is an instance of weapon