more pictures...
| BiologicalAgent(biological agent)
more pictures... | | biohazard, biological_agent, grandaunt, grandnephew, grandniece, granduncle, great-aunt, great-nephew, great-niece, great-uncle, great_granddaughter, great_grandfather, great_grandmother, great_grandparent, great_grandson |
| 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 10523-10523 | |
| (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 10521-10521 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png") | pictureList.kif 10520-10520 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png") | pictureList.kif 10519-10519 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png") | pictureList.kif 10522-10522 | |
| (partition BiologicalAgent Toxin ToxicOrganism) | WMD.kif 157-157 | Biological agent is exhaustively partitioned into toxin and toxic organism |
| (subclass BiologicalAgent BiochemicalAgent) | WMD.kif 152-152 | Biological agent is a subclass of biochemical agent |
| appearance as argument number 2 |
|
|
| (partition BiochemicalAgent BiologicalAgent ChemicalAgent) | WMD.kif 82-82 | Biochemical agent is exhaustively partitioned into biological agent and chemical agent |
| (rangeSubclass AgentOfOrganismFn BiologicalAgent) | WMD.kif 88-88 | The values returned by Agent of organism fn are subclasses of biological agent |
| (subclass Toxin BiologicalAgent) | WMD.kif 159-159 | Toxin is a subclass of biological agent |
| (termFormat ChineseLanguage BiologicalAgent "生物制剂") | domainEnglishFormat.kif 11104-11104 | Toxin is a subclass of biological agent |
| (termFormat ChineseTraditionalLanguage BiologicalAgent "生物製劑") | domainEnglishFormat.kif 11103-11103 | Toxin is a subclass of biological agent |
| (termFormat EnglishLanguage BiologicalAgent "biological agent") | domainEnglishFormat.kif 11102-11102 | Toxin is a subclass of biological agent |
| appearance as argument number 3 |
|
|
| (domainSubclass biologicalAgentCarrier 1 BiologicalAgent) | WMD.kif 970-970 | The number 1 argument of biological agent carrier is a subclass of biological agent |
| consequent |
|
|
| (=> (instance ?WEAPON BiologicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiologicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 145-150 |
|
|
|
|