No TPTP formula. May not be expressible in strict first order. | Merge.kif 15650-15650 | 子類 貨幣 and 金融工具 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3584-3584 | 子類 貨幣單 and 貨幣 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3596-3596 | 子類 貨幣硬幣 and 貨幣 |