GeneticallyEngineeredOrganism
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 235-237 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6595-6595 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7012-7012 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 234-234 | 基因工程生物 是 生物 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25752-25752 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25751-25751 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25750-25750 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 239-244 |