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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiologicalWeapon
BiologicalWeapon

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


(documentation BiologicalWeapon EnglishLanguage "Weapons which contain a sample of ToxicOrganism or a BiologicallyActiveSubstance that is produced by a ToxicOrganism (or a synthetic analogue of the latter).") WMD.kif 141-143
(subclass BiologicalWeapon BiochemicalWeapon) WMD.kif 140-140

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


(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon) WMD.kif 108-108
(termFormat ChineseLanguage BiologicalWeapon "生物武器") domainEnglishFormat.kif 11123-11123
(termFormat ChineseTraditionalLanguage BiologicalWeapon "生物武器") domainEnglishFormat.kif 11122-11122
(termFormat EnglishLanguage BiologicalWeapon "biological weapon") domainEnglishFormat.kif 11121-11121

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


(=>
    (instance ?WEAPON BiologicalWeapon)
    (exists (?AGENT)
        (and
            (instance ?AGENT BiologicalAgent)
            (part ?AGENT ?WEAPON))))
WMD.kif 145-150


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 is open source software produced by Articulate Software and its partners