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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeliveringWeaponOfMassDestruction
DeliveringWeaponOfMassDestruction(delivering weapon of mass destruction)delivering_weapon_of_mass_destruction

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 Delivering weapon of mass destruction is a subclass of making

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


(termFormat EnglishLanguage DeliveringWeaponOfMassDestruction "delivering weapon of mass destruction") domainEnglishFormat.kif 3583-3583 "delivering weapon of mass destruction" is the printable form of delivering weapon of mass destruction in english language

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


(=>
    (instance ?DELIVER DeliveringWeaponOfMassDestruction)
    (exists (?PUTTING ?WEAPON1 ?WEAPON2)
        (and
            (instance ?PUTTING Putting)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
            (not
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))
WMD.kif 702-711


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