NuclearWeaponProductionFacility
|
|
appearance as argument number 1 |
(documentation NuclearWeaponProductionFacility EnglishLanguage "Facilities where NuclearWeapons are built.") | WMD.kif 651-652 | |
(subclass NuclearWeaponProductionFacility WMDWeaponsProductionFacility) | WMD.kif 650-650 | NuclearWeaponProductionFacility è una sottoclasse di WMDWeaponsProductionFacility |
appearance as argument number 2 |
(termFormat ChineseLanguage NuclearWeaponProductionFacility "核武器生产设施") | domainEnglishFormat.kif 41405-41405 | |
(termFormat ChineseTraditionalLanguage NuclearWeaponProductionFacility "核武器生產設施") | domainEnglishFormat.kif 41404-41404 | |
(termFormat EnglishLanguage NuclearWeaponProductionFacility "nuclear weapon production facility") | domainEnglishFormat.kif 41403-41403 |
antecedent |
(=> (and (instance ?FACILITY NuclearWeaponProductionFacility) (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (eventLocated ?DEVELOP ?FACILITY) (result ?DEVELOP ?WEAPON)) (instance ?WEAPON NuclearWeapon)) |
WMD.kif 654-660 |
|