Bomber - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Bomber MilitaryAircraft)	Military.kif 273-273	Bomber is a subclass of military aircraft
(documentation Bomber EnglishLanguage "Any MilitaryAircraft whose purpose is to deliver ExplosiveDevices.")	Military.kif 274-275	Bomber is a subclass of military aircraft
(externalImage Bomber "http://articulatesoftware.com/SUMOpictures/armed_services/ Airforce/ BOMBER-4.png")	pictureList.kif 280-280	Bomber is a subclass of military aircraft
(externalImage Bomber "http://upload.wikimedia.org/wikipedia/commons/c/cf/ B52.climbout.arp.jpg")	pictureList.kif 1670-1670	Bomber is a subclass of military aircraft

appearance as argument number 2

(termFormat EnglishLanguage Bomber "bomber")	domainEnglishFormat.kif 11579-11579
(termFormat ChineseTraditionalLanguage Bomber "轟炸機")	domainEnglishFormat.kif 11580-11580
(termFormat ChineseLanguage Bomber "轰炸机")	domainEnglishFormat.kif 11581-11581

antecedent

(=>
    (instance ?B Bomber)
    (hasPurpose ?B
        (exists (?T ?D)
            (and
                (instance ?T Transportation)
                (instrument ?T ?B)
                (patient ?T ?D)
                (instance ?D ExplosiveDevice)))))

If X is an instance of bomber, then X has the purpose there exist Y, Z such that Y is an instance of transportation, X is an instrument for Y, Z is a patient of Y, and Z is an instance of explosive device