Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeployingWeaponOfMassDestruction
DeployingWeaponOfMassDestruction(deploying weapon of mass destruction)deploying_weapon_of_mass_destruction, 部署大規模殺傷性武器, 部署大规模杀伤性武器

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


(documentation DeployingWeaponOfMassDestruction EnglishLanguage "Positioning a chemical, biological or radioactive weapon for the purpose of bringing about harm of some kind.") WMD.kif 672-673
(subclass DeployingWeaponOfMassDestruction IntentionalProcess) WMD.kif 670-670 Deploying weapon of mass destruction is a subclass of intentional process
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 671-671 Deploying weapon of mass destruction is a subclass of putting

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


(termFormat ChineseLanguage DeployingWeaponOfMassDestruction "部署大规模杀伤性武器") domainEnglishFormat.kif 19063-19063 "部署大规模杀伤性武器" is the printable form of deploying weapon of mass destruction in ChineseLanguage
(termFormat ChineseTraditionalLanguage DeployingWeaponOfMassDestruction "部署大規模殺傷性武器") domainEnglishFormat.kif 19062-19062 "部署大規模殺傷性武器" is the printable form of deploying weapon of mass destruction in ChineseTraditionalLanguage
(termFormat EnglishLanguage DeployingWeaponOfMassDestruction "deploying weapon of mass destruction") domainEnglishFormat.kif 19061-19061 "deploying weapon of mass destruction" is the printable form of deploying weapon of mass destruction in english language

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


(=>
    (and
        (instance ?DEPLOY DeployingWeaponOfMassDestruction)
        (patient ?DEPLOY ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))
WMD.kif 675-679


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners