No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3605 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3596-3596 | 货币硬币 是 货币 的 subclass |
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 2934-2934 | 美国十美分硬币 是 货币硬币 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2937-2937 | 美国四分之一硬币 是 货币硬币 的 subclass |