Pelt(pelt) | animal_skin, astrakhan, bearskin, beaver, beaver_fur, chinchilla, cowhide, ermine, fell, fox, fur, goatskin, hide, hudson_seal, lambskin, lapin, leopard, mink, muskrat, muskrat_fur, otter, parchment, pelt, rabbit, raccoon, rawhide, sable, seal, sealskin, sheepskin, squirrel, vellum |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5029-5030 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10186-10186 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5026-5026 | Pelt is a subclass of AnimalProduct |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5028-5028 | Pelt has name "hide" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5027-5027 | Pelt has name "pelt" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5038-5038 | Lambskin is a subclass of pelt |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5048-5048 | Sheepskin is a subclass of pelt |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44976-44976 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44975-44975 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44974-44974 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5032-5036 |
|