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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - DeliveringWeaponOfMassDestruction

appearance as argument number 1

(documentation DeliveringWeaponOfMassDestruction EnglishLanguage "Integrating a WeaponOfMassDestruction with a conventional weapon, so that the former can be delivered to its target.") WMD.kif 699-700
(subclass DeliveringWeaponOfMassDestruction Making) WMD.kif 698-698 子類 提供大規模殺傷性武器 and Making

appearance as argument number 2

(termFormat ChineseLanguage DeliveringWeaponOfMassDestruction "提供大规模杀伤性武器") domainEnglishFormat.kif 18963-18963
(termFormat ChineseTraditionalLanguage DeliveringWeaponOfMassDestruction "提供大規模殺傷性武器") domainEnglishFormat.kif 18962-18962
(termFormat EnglishLanguage DeliveringWeaponOfMassDestruction "delivering weapon of mass destruction") domainEnglishFormat.kif 18961-18961


    (instance ?DELIVER DeliveringWeaponOfMassDestruction)
    (exists (?PUTTING ?WEAPON1 ?WEAPON2)
            (instance ?PUTTING Putting)
            (subProcess ?PUTTING ?DELIVER)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))
WMD.kif 702-713

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners