Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DevelopingWeaponOfMassDestruction
DevelopingWeaponOfMassDestruction(developing weapon of mass destruction)

appearance as argument number 1
-------------------------


(subclass DevelopingWeaponOfMassDestruction Making) WMD.kif 681-681 Developing weapon of mass destruction is a subclass of making
(documentation DevelopingWeaponOfMassDestruction EnglishLanguage "Making instances of WeaponOfMassDestruction.") WMD.kif 682-683 Developing weapon of mass destruction is a subclass of making

appearance as argument number 2
-------------------------


(subclass StockpilingWeaponOfMassDestruction DevelopingWeaponOfMassDestruction) WMD.kif 692-692 Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction
(termFormat EnglishLanguage DevelopingWeaponOfMassDestruction "developing weapon of mass destruction") domainEnglishFormat.kif 19320-19320 Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction
(termFormat ChineseTraditionalLanguage DevelopingWeaponOfMassDestruction "發展大規模殺傷性武器") domainEnglishFormat.kif 19321-19321 Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction
(termFormat ChineseLanguage DevelopingWeaponOfMassDestruction "发展大规模杀伤性武器") domainEnglishFormat.kif 19322-19322 Stockpiling weapon of mass destruction is a subclass of developing weapon of mass destruction

antecedent
-------------------------


(=>
    (and
        (instance ?FACILITY NuclearWeaponProductionFacility)
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (eventLocated ?DEVELOP ?FACILITY)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON NuclearWeapon))		 WMD.kif 649-655 If X is an instance of nuclear weapon production facility, Y is an instance of developing weapon of mass destruction, Y is located at X, and Z is a result of Y, then Z is an instance of nuclear weapon
(=>
    (and
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))		 WMD.kif 685-689 If X is an instance of developing weapon of mass destruction and Y is a result of X, then Y is an instance of weapon of mass destruction

consequent
-------------------------


(=>
    (instance ?FACILITY WMDWeaponsProductionFacility)
    (exists (?DEVELOP)
        (and
            (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
            (eventLocated ?DEVELOP ?FACILITY))))		 WMD.kif 625-630 If X is an instance of WMD weapons production facility, then there exists Y such that Y is an instance of developing weapon of mass destruction and Y is located at X
(=>
    (and
        (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
        (patient ?DISMANTLE ?WEAPON))
    (exists (?DEVELOP)
        (and
            (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
            (result ?DEVELOP ?WEAPON)
            (earlier
                (WhenFn ?DEVELOP)
                (WhenFn ?DISMANTLE)))))		 WMD.kif 745-753 If X is an instance of dismantling weapon of mass destruction and Y is a patient of X, then there exists Z such that Z is an instance of developing weapon of mass destruction, Y is a result of Z, and the time of existence of Z happens earlier than the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners