more pictures...| BiochemicalAgent
more pictures... |
| appearance as argument number 1 |
|
| (documentation BiochemicalAgent EnglishLanguage "A BiologicalAgent or a ChemicalAgent.") | WMD.kif 81-81 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Albania_chemweapcanister.jpg") | pictureList.kif 10519-10519 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") | pictureList.kif 10518-10518 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") | pictureList.kif 8982-8982 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D-skeletal.png") | pictureList.kif 8983-8983 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") | pictureList.kif 8984-8984 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D-skeletal.png") | pictureList.kif 8985-8985 | |
| (partition BiochemicalAgent BiologicalAgent ChemicalAgent) | WMD.kif 82-82 | BiochemicalAgent è esaustivamente partizionato in BiologicalAgent + ChemicalAgent |
| (subclass BiochemicalAgent BiologicallyActiveSubstance) | WMD.kif 80-80 | BiochemicalAgent è una sottoclasse di SostanzaBiologicamenteAttiva |
| appearance as argument number 2 |
|
|
| (subclass AerosolizedAgent BiochemicalAgent) | WMD.kif 97-97 | AerosolizedAgent è una sottoclasse di BiochemicalAgent |
| (subclass BiologicalAgent BiochemicalAgent) | WMD.kif 152-152 | BiologicalAgent è una sottoclasse di BiochemicalAgent |
| (subclass ChemicalAgent BiochemicalAgent) | WMD.kif 444-444 | ChemicalAgent è una sottoclasse di BiochemicalAgent |
| (subclass LifeThreateningAgent BiochemicalAgent) | WMD.kif 1009-1009 | LifeThreateningAgent è una sottoclasse di BiochemicalAgent |
| (termFormat ChineseLanguage BiochemicalAgent "生化剂") | domainEnglishFormat.kif 11027-11027 | |
| (termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") | domainEnglishFormat.kif 11026-11026 | |
| (termFormat EnglishLanguage BiochemicalAgent "biochemical agent") | domainEnglishFormat.kif 11025-11025 |
| appearance as argument number 3 |
|
|
| (domain biochemicalAgentAntidote 1 BiochemicalAgent) | WMD.kif 913-913 | Il numero 1 argomenti di biochemicalAgentAntidote è un istanza di BiochemicalAgent |
| (domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) | WMD.kif 782-782 | Il numero 1 argomento biochemicalAgentDelivery è una sottoclasse diBiochemicalAgent |
| (domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) | WMD.kif 761-761 | Il numero 1 argomento biochemicalAgentSyndrome è una sottoclasse diBiochemicalAgent |
| (domainSubclass effectiveDose 1 BiochemicalAgent) | WMD.kif 796-796 | Il numero 1 argomento effectiveDose è una sottoclasse diBiochemicalAgent |
| (domainSubclass lethalDose 1 BiochemicalAgent) | WMD.kif 843-843 | Il numero 1 argomento lethalDose è una sottoclasse diBiochemicalAgent |
| consequent |
|
|
| (=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 110-115 |
|
|
|
|