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 subclass BiologicalWeapon and BiochemicalWeapon

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


(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon) WMD.kif 107-107 partition BiochemicalWeapon, BiologicalWeapon and ChemicalWeapon
(termFormat ChineseLanguage BiologicalWeapon "生物武器") domainEnglishFormat.kif 11071-11071
(termFormat ChineseTraditionalLanguage BiologicalWeapon "生物武器") domainEnglishFormat.kif 11070-11070
(termFormat EnglishLanguage BiologicalWeapon "biological weapon") domainEnglishFormat.kif 11069-11069

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