| 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 11589-11589 | |
| (termFormat ChineseTraditionalLanguage Bomber "轟炸機") | domainEnglishFormat.kif 11588-11588 | |
| (termFormat EnglishLanguage Bomber "bomber") | domainEnglishFormat.kif 11587-11587 |
| 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 |
|
|
|
|