|
|
   BiologicalAgent
|
|
|
| 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 10524-10524 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ EscherichiaColi_NIAID.jpg") | pictureList.kif 9908-9908 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Botox-structure.png") | pictureList.kif 10522-10522 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Saxitoxin_structure.png") | pictureList.kif 10521-10521 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Ricin_structure.png") | pictureList.kif 10520-10520 | |
| (externalImage BiologicalAgent "http://upload.wikimedia.org/wikipedia/en/ e/ e1/ Hiv-1_pdb_1ebz.png") | pictureList.kif 10523-10523 | |
| (partition BiologicalAgent Toxin ToxicOrganism) | WMD.kif 157-157 | BiologicalAgent è esaustivamente partizionato in Toxin + SostanzaTossica |
| (subclass BiologicalAgent BiochemicalAgent) | WMD.kif 152-152 | BiologicalAgent è una sottoclasse di BiochemicalAgent |
| appearance as argument number 2 |
|
|
| (partition BiochemicalAgent BiologicalAgent ChemicalAgent) | WMD.kif 82-82 | BiochemicalAgent è esaustivamente partizionato in BiologicalAgent + ChemicalAgent |
| (rangeSubclass AgentOfOrganismFn BiologicalAgent) | WMD.kif 88-88 | I valori resi da AgentOfOrganismFn sono sottoclassi diBiologicalAgent |
| (subclass Toxin BiologicalAgent) | WMD.kif 159-159 | Toxin è una sottoclasse di BiologicalAgent |
| (termFormat ChineseLanguage BiologicalAgent "生物制剂") | domainEnglishFormat.kif 11093-11093 | |
| (termFormat ChineseTraditionalLanguage BiologicalAgent "生物製劑") | domainEnglishFormat.kif 11092-11092 | |
| (termFormat EnglishLanguage BiologicalAgent "biological agent") | domainEnglishFormat.kif 11091-11091 |
| appearance as argument number 3 |
|
|
| (domainSubclass biologicalAgentCarrier 1 BiologicalAgent) | WMD.kif 970-970 | Il numero 1 argomento biologicalAgentCarrier è una sottoclasse diBiologicalAgent |
| consequent |
|
|
| (=> (instance ?WEAPON BiologicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiologicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 145-150 |
|
|
|
|
