No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5028-5028 |
Pelt se chama nome "hide" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5027-5027 |
Pelt se chama nome "pelt" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5038-5038 |
Lambskin e' uma sub-classe de Pelt |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5048-5048 |
Sheepskin e' uma sub-classe de 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 |
|