AbsoluteDud |
appearance as argument number 1 |
(documentation AbsoluteDud EnglishLanguage "A NuclearWeapon which, when launched at or emplaced on a target, fails to explode.") | MilitaryDevices.kif 1392-1393 | |
(subclass AbsoluteDud NuclearWeapon) | MilitaryDevices.kif 1391-1391 | AbsoluteDud è una sottoclasse di NuclearWeapon |
appearance as argument number 2 |
(termFormat ChineseLanguage AbsoluteDud "绝对的哑弹") | domainEnglishFormat.kif 5130-5130 | |
(termFormat ChineseTraditionalLanguage AbsoluteDud "絕對的啞彈") | domainEnglishFormat.kif 5129-5129 | |
(termFormat EnglishLanguage AbsoluteDud "absolute dud") | domainEnglishFormat.kif 5128-5128 |
antecedent |
(=> (and (instance ?DUD AbsoluteDud) (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD)) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD))))) |
MilitaryDevices.kif 1398-1407 |
consequent |
(=> (and (instance ?PROCESS TakingOff) (patient ?PROCESS ?DUD) (not (exists (?EXPLOSION) (and (instance ?EXPLOSION Explosion) (patient ?EXPLOSION ?DUD))))) (instance ?DUD AbsoluteDud)) |
MilitaryDevices.kif 1409-1418 |