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 | 生物制剂 详尽无遗地 partition 成 毒素 和 有毒生物 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | 生物制剂 是 生化剂 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 82-82 | 生化剂 详尽无遗地 partition 成 生物制剂 和 化学剂 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 88-88 | AgentOfOrganismFn 的所得值 是 生物制剂 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 159-159 | 毒素 是 生物制剂 的 subclass |
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 数量 是 生物制剂 的 subclass |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 145-150 |