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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasDependency

Sigma KEE - BiologicalAgent
BiologicalAgent
more pictures...

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


(documentation BiologicalAgent EnglishLanguage "A naturally occurring Substance, or a synthetic analogue of such a substance or an Organism that is capable of inflicting severe harm on other Organisms. All BiologicalWeapons contain a BiologicalAgent.") WMD.kif 153-156
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") pictureList.kif 10545-10545
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ EscherichiaColi_NIAID.jpg") pictureList.kif 9926-9926
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Botox-structure.png") pictureList.kif 10543-10543
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png") pictureList.kif 10542-10542
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png") pictureList.kif 10541-10541
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png") pictureList.kif 10544-10544
(partition BiologicalAgent Toxin ToxicOrganism) WMD.kif 157-157
(subclass
    (AgentOfOrganismFn MalarialPlasmodium) BiologicalAgent)
WMD.kif 1462-1462
(subclass BiologicalAgent BiochemicalAgent) WMD.kif 152-152

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


(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82
(rangeSubclass AgentOfOrganismFn BiologicalAgent) WMD.kif 88-88
(subclass Toxin BiologicalAgent) WMD.kif 159-159
(termFormat EnglishLanguage BiologicalAgent "biological agent") domainEnglishFormat.kif 2273-2273

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


(domainSubclass biologicalAgentCarrier 1 BiologicalAgent) WMD.kif 916-916

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


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