No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2907-2907 |
阿富汗阿富汗硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2909-2909 |
英镑硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2911-2911 |
加拿大元硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2913-2913 |
欧元硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2915-2915 |
欧元硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2917-2917 |
法郎硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2919-2919 |
德国马克硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2921-2921 |
意大利里拉硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2923-2923 |
日元硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2925-2925 |
塔吉克索莫尼硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2928-2928 |
美国分硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2931-2931 |
美国五美分硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2937-2937 |
美国四分之一硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2934-2934 |
美国十美分硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18066-18066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18065-18065 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18064-18064 |
|