NuclearWeaponProductionFacility - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NuclearWeaponProductionFacility EnglishLanguage "Facilities where NuclearWeapons are built.")	WMD.kif 651-652
(subclass NuclearWeaponProductionFacility WMDWeaponsProductionFacility)	WMD.kif 650-650	核武器生产设施是大规模杀伤性武器生产设施的 subclass

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