more pictures...| BiochemicalAgent(biochemical agent)
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 10518-10518 | |
| (externalImage BiochemicalAgent "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ 1993_Kameido_site_fluid_petri.jpg") | pictureList.kif 10517-10517 | |
| (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 | Biochemical agent is exhaustively partitioned into biological agent and chemical agent |
| (subclass BiochemicalAgent BiologicallyActiveSubstance) | WMD.kif 80-80 | Biochemical agent is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| (subclass AerosolizedAgent BiochemicalAgent) | WMD.kif 97-97 | Aerosolized agent is a subclass of biochemical agent |
| (subclass BiologicalAgent BiochemicalAgent) | WMD.kif 152-152 | Biological agent is a subclass of biochemical agent |
| (subclass ChemicalAgent BiochemicalAgent) | WMD.kif 444-444 | Chemical agent is a subclass of biochemical agent |
| (subclass LifeThreateningAgent BiochemicalAgent) | WMD.kif 1009-1009 | Life threatening agent is a subclass of biochemical agent |
| (termFormat ChineseLanguage BiochemicalAgent "生化剂") | domainEnglishFormat.kif 11038-11038 | Life threatening agent is a subclass of biochemical agent |
| (termFormat ChineseTraditionalLanguage BiochemicalAgent "生化劑") | domainEnglishFormat.kif 11037-11037 | Life threatening agent is a subclass of biochemical agent |
| (termFormat EnglishLanguage BiochemicalAgent "biochemical agent") | domainEnglishFormat.kif 11036-11036 | Life threatening agent is a subclass of biochemical agent |
| appearance as argument number 3 |
|
|
| (domain biochemicalAgentAntidote 1 BiochemicalAgent) | WMD.kif 913-913 | The number 1 argument of biochemical agent antidote is an instance of biochemical agent |
| (domainSubclass biochemicalAgentDelivery 1 BiochemicalAgent) | WMD.kif 782-782 | The number 1 argument of biochemical agent delivery is a subclass of biochemical agent |
| (domainSubclass biochemicalAgentSyndrome 1 BiochemicalAgent) | WMD.kif 761-761 | The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent |
| (domainSubclass effectiveDose 1 BiochemicalAgent) | WMD.kif 796-796 | The number 1 argument of effective dose is a subclass of biochemical agent |
| (domainSubclass lethalDose 1 BiochemicalAgent) | WMD.kif 843-843 | The number 1 argument of lethal dose is a subclass of biochemical agent |
| consequent |
|
|
| (=> (instance ?WEAPON BiochemicalWeapon) (exists (?AGENT) (and (instance ?AGENT BiochemicalAgent) (part ?AGENT ?WEAPON)))) |
WMD.kif 110-115 |
|
|
|
|