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 10517-10517 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") | pictureList.kif 10516-10516 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ 1GZX_Haemoglobin.png") | pictureList.kif 8981-8981 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Cellulose-2D_skeletal.png") | pictureList.kif 8982-8982 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Amino_acids_1.png") | pictureList.kif 8983-8983 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Glucose-2D_skeletal.png") | pictureList.kif 8984-8984 | |
| (partition BiochemicalAgent BiologicalAgent ChemicalAgent) | WMD.kif 82-82 | BiochemicalAgent は BiologicalAgent + ChemicalAgent に exhaustively partitioned |
| (subclass BiochemicalAgent BiologicallyActiveSubstance) | WMD.kif 80-80 | BiochemicalAgent は 生物活性物質 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass AerosolizedAgent BiochemicalAgent) | WMD.kif 97-97 | AerosolizedAgent は BiochemicalAgent の subclass では |
| (subclass BiologicalAgent BiochemicalAgent) | WMD.kif 152-152 | BiologicalAgent は BiochemicalAgent の subclass では |
| (subclass ChemicalAgent BiochemicalAgent) | WMD.kif 444-444 | ChemicalAgent は BiochemicalAgent の subclass では |
| (subclass LifeThreateningAgent BiochemicalAgent) | WMD.kif 1009-1009 | LifeThreateningAgent は BiochemicalAgent の subclass では |
| (termFormat ChineseLanguage BiochemicalAgent "生化剂") | domainEnglishFormat.kif 11036-11036 | LifeThreateningAgent は BiochemicalAgent の subclass では |
| (termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") | domainEnglishFormat.kif 11035-11035 | LifeThreateningAgent は BiochemicalAgent の subclass では |
| (termFormat EnglishLanguage BiochemicalAgent "biochemical agent") | domainEnglishFormat.kif 11034-11034 | LifeThreateningAgent は BiochemicalAgent の subclass では |
| appearance as argument number 3 |
|
|
| (domain biochemicalAgentAntidote 1 BiochemicalAgent) | WMD.kif 913-913 | biochemicalAgentAntidote の数値 1 引数は BiochemicalAgent の instance では |
| (domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) | WMD.kif 782-782 | biochemicalAgentDelivery の数値 1 引数は BiochemicalAgent のsubclass では |
| (domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) | WMD.kif 761-761 | biochemicalAgentSyndrome の数値 1 引数は BiochemicalAgent のsubclass では |
| (domainSubclass effectiveDose 1 BiochemicalAgent) | WMD.kif 796-796 | effectiveDose の数値 1 引数は BiochemicalAgent のsubclass では |
| (domainSubclass lethalDose 1 BiochemicalAgent) | WMD.kif 843-843 | lethalDose の数値 1 引数は BiochemicalAgent のsubclass では |
| consequent |
|
|
| (=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 110-115 |
|
|
|
|