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 |
|