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