CorrugatorSuperciliiMuscle OpiumPoppyFarming
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8628-8628 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9487-9487 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9488-9488 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6219-6219 | industryProductType OpiumPoppyFarming and OpiumPoppy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6218-6218 | OpiumPoppyFarming e' uma sub-classe de Farming |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42312-42312 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42311-42311 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42310-42310 |