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

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


(partition BiochemicalWeapon BiologicalWeapon ChemicalWeapon) WMD.kif 108-108 生化武器 详尽无遗地 partition生物武器化学武器
(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 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