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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BiologicalWeapon

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 108-108 partition BiochemicalWeapon, BiologicalWeapon and ChemicalWeapon
(termFormat ChineseLanguage BiologicalWeapon "生物武器") domainEnglishFormat.kif 11132-11132
(termFormat ChineseTraditionalLanguage BiologicalWeapon "生物武器") domainEnglishFormat.kif 11131-11131
(termFormat EnglishLanguage BiologicalWeapon "biological weapon") domainEnglishFormat.kif 11130-11130

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


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


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