No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5028-5028 |
名 "hide" and 毛皮 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5027-5027 |
名 "pelt" and 毛皮 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5038-5038 |
子類 小羊皮 and 毛皮 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5048-5048 |
子類 羊皮 and 毛皮 |
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 |
|