RealNumber(实数) |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1677-1677 | inflationRateInCountry 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1347-1347 | 通货膨胀率的消费价格 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1332-1332 | 期间消费价格的通胀率 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11954-11954 | 智商 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 581-581 | 每期利率 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1406-1406 | 按职业划分的劳动力比例 的 3 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1388-1388 | 按职业期间划分的劳动力比例 的 3 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | People.kif 1564-1564 | languagePercentInRegion 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1836-1836 | 少于 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1837-1837 | 少于 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1860-1860 | 少于或等于 的 1 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1861-1861 | 少于或等于 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1842-1842 | 加载 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1218-1218 | 最低平均家庭收入 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1200-1200 | 期间最低平均家庭收入 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 1006-1006 | 军费开支GDP分数 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Military.kif 991-991 | 军费期间开支占GDP的比重 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1243-1243 | mixtureRatio 的 3 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1244-1244 | mixtureRatio 的 4 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 950-950 | 监控组件数据 的 3 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1227-1227 | oxygenSaturation 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 567-567 | pValue 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 942-942 | 表现结果 的 3 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31721-31721 | populationDensity 的 2 数量 是 实数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1172-1172 | 人口比例低于贫困线 的 2 数量 是 实数 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |