CurrencyMeasure(货币测量) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3654-3654 | 汇率 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3640-3640 | 期间货币汇率 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3603-3603 | 货币价值 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 674-674 | 目前账户余额 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1285-1285 | customerValue 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3992-3992 | 每日限额 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 803-803 | 首付 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2806-2806 | 经济援助捐赠 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2789-2789 | 期间捐赠的经济援助 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2848-2848 | 经济援助净收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2833-2833 | 经济援助在期内收到净额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3352-3352 | 员工贡献 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2258-2258 | 期间出口总额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2768-2768 | 外债 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2756-2756 | 期间外债 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2300-2300 | 面值 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3479-3479 | 最终价格 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 798-798 | 楼层贷款 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2966-2966 | grossMerchandiseBoughtInPeriod 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2995-2995 | grossMerchandiseSoldInPeriod 的 3 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2563-2563 | 期间进口总量 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3270-3270 | 收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3292-3292 | 赚的收入 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4040-4040 | 最后陈述余额 的 2 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1998-1998 | 限价 的 2 数量 是 货币测量 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |