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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10522-10522
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ EscherichiaColi_NIAID.jpg") pictureList.kif 9907-9907
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Botox_structure.png") pictureList.kif 10520-10520
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png") pictureList.kif 10519-10519
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png") pictureList.kif 10518-10518
(externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png") pictureList.kif 10521-10521
(partition BiologicalAgent Toxin ToxicOrganism) WMD.kif 157-157 BiologicalAgentToxin + ToxicOrganismexhaustively partitioned %n
(subclass BiologicalAgent BiochemicalAgent) WMD.kif 152-152 BiologicalAgentBiochemicalAgentsubclass では %n

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


(partition BiochemicalAgent BiologicalAgent ChemicalAgent) WMD.kif 82-82 BiochemicalAgentBiologicalAgent + ChemicalAgentexhaustively partitioned %n
(rangeSubclass AgentOfOrganismFn BiologicalAgent) WMD.kif 88-88 AgentOfOrganismFn が返す値は BiologicalAgentsubclasses では %n
(subclass Toxin BiologicalAgent) WMD.kif 159-159 ToxinBiologicalAgentsubclass では %n
(termFormat ChineseLanguage BiologicalAgent "生物制剂") domainEnglishFormat.kif 11108-11108 ToxinBiologicalAgentsubclass では %n
(termFormat ChineseTraditionalLanguage BiologicalAgent "生物製劑") domainEnglishFormat.kif 11107-11107 ToxinBiologicalAgentsubclass では %n
(termFormat EnglishLanguage BiologicalAgent "biological agent") domainEnglishFormat.kif 11106-11106 ToxinBiologicalAgentsubclass では %n

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


(domainSubclass biologicalAgentCarrier 1 BiologicalAgent) WMD.kif 970-970 biologicalAgentCarrier の数値 1 引数は BiologicalAgentsubclass では %n

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


(=>
    (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