|
|
   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 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10539-10539 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8987-8987 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8988-8988 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8989-8989 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8990-8990 | |
| 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 964-964 | Life threatening agent is a subclass of biochemical agent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11045-11045 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11044-11044 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11043-11043 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 871-871 | 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 777-777 | 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 756-756 | 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 791-791 | 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 808-808 | 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 |
|
|
|
|
