No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2887-2887 |
英镑 是 英国 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2910-2910 |
英镑 是 英镑硬币 的 currency 價值 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11981-11981 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11980-11980 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11979-11979 |
|