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	Nuclear weapon production facility is a subclass of WMD weapons production facility

appearance as argument number 2

(termFormat ChineseLanguage NuclearWeaponProductionFacility "核武器生产设施")	domainEnglishFormat.kif 41441-41441
(termFormat ChineseTraditionalLanguage NuclearWeaponProductionFacility "核武器生產設施")	domainEnglishFormat.kif 41440-41440
(termFormat EnglishLanguage NuclearWeaponProductionFacility "nuclear weapon production facility")	domainEnglishFormat.kif 41439-41439

antecedent

(=>
    (and
        (instance ?FACILITY NuclearWeaponProductionFacility)
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (eventLocated ?DEVELOP ?FACILITY)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON NuclearWeapon))

WMD.kif 654-660