| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AbsoluteDud "绝对的哑弹") | domainEnglishFormat.kif 5135-5135 | |
| (termFormat ChineseTraditionalLanguage AbsoluteDud "絕對的啞彈") | domainEnglishFormat.kif 5134-5134 | |
| (termFormat EnglishLanguage AbsoluteDud "absolute dud") | domainEnglishFormat.kif 5133-5133 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners