more pictures...
| 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 10527-10527 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ EscherichiaColi_NIAID.jpg") | pictureList.kif 9909-9909 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Botox-structure.png") | pictureList.kif 10525-10525 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png") | pictureList.kif 10524-10524 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png") | pictureList.kif 10523-10523 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png") | pictureList.kif 10526-10526 | |
| (partition BiologicalAgent Toxin ToxicOrganism) | WMD.kif 157-157 | |
| (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 ChineseLanguage BiologicalAgent "生物制剂") | domainEnglishFormat.kif 11098-11098 | |
| (termFormat ChineseTraditionalLanguage BiologicalAgent "生物製劑") | domainEnglishFormat.kif 11097-11097 | |
| (termFormat EnglishLanguage BiologicalAgent "biological agent") | domainEnglishFormat.kif 11096-11096 |
| appearance as argument number 3 |
|
|
| (domainSubclass biologicalAgentCarrier 1 BiologicalAgent) | WMD.kif 970-970 |
| consequent |
|
|
| (=> (instance ?WEAPON BiologicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiologicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 145-150 |
|
|
|