|
|
   BiologicalAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 153-156 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10524-10524 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9908-9908 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10522-10522 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10521-10521 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10520-10520 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10523-10523 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 157-157 | 劃分 生物製劑, 毒素 and 有毒生物 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | 子類 生物製劑 and 生化劑 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | 劃分 生化劑, 生物製劑 and 化學劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 88-88 | 範圍子類 AgentOfOrganismFn and 生物製劑 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | 子類 毒素 and 生物製劑 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11093-11093 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11092-11092 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11091-11091 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 970-970 | 域子類 生物製劑載體, 1 and 生物製劑 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 145-150 |
|
|
|
