Bomber(bomber) | bomber, stealth_bomber |
appearance as argument number 1 |
(documentation Bomber EnglishLanguage "Any MilitaryAircraft whose purpose is to deliver ExplosiveDevices.") | Military.kif 175-176 | |
(externalImage Bomber "http://articulatesoftware.com/SUMOpictures/armed_services/ Airforce/ BOMBER-4.png") | pictureList.kif 280-280 | |
(externalImage Bomber "http://upload.wikimedia.org/wikipedia/commons/c/cf/ B52.climbout.arp.jpg") | pictureList.kif 1671-1671 | |
(subclass Bomber MilitaryAircraft) | Military.kif 174-174 | Bomber is a subclass of military aircraft |
appearance as argument number 2 |
(termFormat ChineseLanguage Bomber "轰炸机") | domainEnglishFormat.kif 11573-11573 | |
(termFormat ChineseTraditionalLanguage Bomber "轟炸機") | domainEnglishFormat.kif 11572-11572 | |
(termFormat EnglishLanguage Bomber "bomber") | domainEnglishFormat.kif 11571-11571 |
antecedent |
(=> (instance ?B Bomber) (hasPurpose ?B (exists (?T ?D) (and (instance ?T Transportation) (instrument ?T ?B) (patient ?T ?D) (instance ?D ExplosiveDevice))))) |
Military.kif 177-185 |
|