AmphibiousVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AmphibiousVehicle LandVehicle)	MilitaryDevices.kif 2172-2172
(subclass AmphibiousVehicle WaterVehicle)	MilitaryDevices.kif 2173-2173
(documentation AmphibiousVehicle EnglishLanguage "The class of vehicles that can go on land and water")	MilitaryDevices.kif 2174-2175
(externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 72/ AAV_australia.jpg/ 751px_AAV_australia.jpg")	pictureList.kif 1426-1426
(externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ BTR-70_coming_ashore.jpg")	pictureList.kif 1638-1638

appearance as argument number 2

(subclass LAV25 AmphibiousVehicle)	MilitaryDevices.kif 1678-1678
(subclass AAV AmphibiousVehicle)	MilitaryDevices.kif 1804-1804
(subclass LCAC AmphibiousVehicle)	MilitaryDevices.kif 2101-2101
(termFormat EnglishLanguage AmphibiousVehicle "amphibious vehicle")	domainEnglishFormat.kif 7283-7283
(termFormat ChineseTraditionalLanguage AmphibiousVehicle "兩棲車輛")	domainEnglishFormat.kif 7284-7284
(termFormat ChineseLanguage AmphibiousVehicle "两栖车辆")	domainEnglishFormat.kif 7285-7285

antecedent

consequent

(=>
    (instance ?AR AmphibiousReconnaissance)
    (exists (?AMPHCRAFT)
        (and
            (instance ?AMPHCRAFT AmphibiousVehicle)
            (instrument ?AR ?AMPHCRAFT))))