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 | GeneticallyEngineeredOrganism e' uma sub-classe de Organismo |
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 |
|