| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15650-15650 | 货币 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3584-3584 | 货币单 是 货币 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3596-3596 | 货币硬币 是 货币 的 subclass |
|
|