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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiochemicalWeapon
BiochemicalWeaponbiochemical_weapon

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


s__disjoint(s__BiochemicalWeapon,s__RadioactiveWeapon)

WMD.kif 106-106
s__documentation(s__BiochemicalWeapon,s__EnglishLanguage,'A WeaponOfMassDestruction that is either a BiologicalWeapon or a ChemicalWeapon, i.e. not a RadioactiveWeapon.')

WMD.kif 103-105
s__partition_3(s__BiochemicalWeapon,s__BiologicalWeapon,s__ChemicalWeapon)

WMD.kif 107-107
s__instance(s__WeaponOfMassDestruction,s__SetOrClass)

WMD.kif 102-102

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


s__disjoint(s__RadioactiveWeapon,s__BiochemicalWeapon)

WMD.kif 117-117
s__instance(s__BiologicalWeapon,s__SetOrClass)

WMD.kif 140-140
s__instance(s__ChemicalWeapon,s__SetOrClass)

WMD.kif 448-448
s__termFormat(s__EnglishLanguage,s__BiochemicalWeapon,'biochemical weapon')

domainEnglishFormat.kif 2267-2267

appearance as argument number 3
-------------------------


s__partition_3(s__WeaponOfMassDestruction,s__RadioactiveWeapon,s__BiochemicalWeapon)

WMD.kif 668-668

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


( ! [V__ATTACK,V__WEAPON] :
   ((s__instance(V__ATTACK,s__ViolentContest) &
       s__instrument(V__ATTACK,V__WEAPON)
     &
     s__instance(V__WEAPON,s__BiochemicalWeapon))
   =>
   s__instance(V__ATTACK,s__BiochemicalAttack))
)

WMD.kif 57-62
( ! [V__WEAPON,V__AGENT] :
   ((s__instance(V__WEAPON,s__BiochemicalWeapon) &
       s__possesses(V__AGENT,V__WEAPON))
   =>
   s__capability(s__BiochemicalAttack,s__agent__m,V__AGENT))
)

WMD.kif 51-55
( ! [V__WEAPON] :
   (s__instance(V__WEAPON,s__BiochemicalWeapon) =>
     (? [V__AGENT] :
       (s__instance(V__AGENT,s__BiochemicalAgent) &
         s__part(V__AGENT,V__WEAPON))))
)

WMD.kif 109-114

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


( ! [V__WEAPON,V__ATTACK] :
   ((s__instance(V__WEAPON,s__WeaponOfMassDestruction) &
       s__instrument(V__ATTACK,V__WEAPON)
     &
     s__instance(V__ATTACK,s__BiochemicalAttack))
   =>
   s__instance(V__WEAPON,s__BiochemicalWeapon))
)

WMD.kif 44-49


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