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