|
|
   BiochemicalAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 81-81 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10540-10540 | "http://upload.wikimedia.org/wikipedia/commons/0/04/ Albania_chemweapcanister.jpg" is a URL depicting biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10539-10539 | "http://upload.wikimedia.org/wikipedia/commons/0/0d/ 1993_Kameido_site_fluid_petri.jpg" is a URL depicting biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8987-8987 | "http://upload.wikimedia.org/wikipedia/commons/3/3d/ 1GZX_Haemoglobin.png" is a URL depicting biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8988-8988 | "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Cellulose-2D-skeletal.png" is a URL depicting biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8989-8989 | "http://upload.wikimedia.org/wikipedia/commons/8/82/ Amino_acids_1.png" is a URL depicting biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8990-8990 | "http://upload.wikimedia.org/wikipedia/commons/e/e9/ Glucose-2D-skeletal.png" is a URL depicting biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | Biochemical agent is exhaustively partitioned into biological agent and chemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | Biochemical agent is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 96-96 | Aerosolized agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | Biological agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 439-439 | Chemical agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 955-955 | Life threatening agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2262-2262 | "biochemical agent" is the printable form of biochemical agent in english language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 862-862 | The number 1 argument of biochemical agent antidote is an instance of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 776-776 | The number 1 argument of biochemical agent delivery is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 755-755 | The number 1 argument of biochemical agent syndrome is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 790-790 | The number 1 argument of effective dose is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 804-804 | The number 1 argument of lethal dose is a subclass of biochemical agent |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 109-114 |
|
|
|
|
