|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4158-4158 | 贷款费用金额 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3918-3918 | 贷款利息 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7205-7205 | 失 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4102-4102 | 余额幅度 的 3 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4120-4120 | 市值金额 的 3 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 968-968 | 军费用美元 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 952-952 | 期间的美元军费开支 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 681-681 | 最低余额 的 3 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 754-754 | 最低付费 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7784-7784 | 货币价值 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16967-16967 | 货币工资 的 4 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3278-3278 | 月收入 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 270-270 | negotiatedPrice 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3461-3461 | 净额 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 867-867 | 净值 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 718-718 | 原始余额 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 779-779 | 透支 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3856-3856 | 每期付款 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1035-1035 | 人均GDp 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1022-1022 | 人均国内生产总值 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 737-737 | 定期付款 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1883-1883 | 潜在的损失 的 3 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2722-2722 | 额外费用 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7737-7737 | 价钱 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 204-204 | priceRange 的 2 数量 是 货币测量 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners