No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8588-8588 |
日函数 的 1 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15509-15509 |
版本函数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2978-2978 |
找出表列顺序的函数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4976-4976 |
对数函数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14663-14663 |
期刊编号函数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8968-8968 |
QuarterFn 的 1 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8666-8666 |
秒函数 的 1 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14618-14618 |
系列编号函数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8950-8950 |
WeekFn 的 1 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3440-3440 |
帐号 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2243-2243 |
按等级划分的农产品类型 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13773-13773 |
原子数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3457-3457 |
支票号码 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1209-1209 |
数据流松弛 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 209-209 |
定义域 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 231-231 |
子类别的定义域 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21709-21709 |
电子数 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2324-2324 |
按等级出口商品类型 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2503-2503 |
按排名出口合作伙伴 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2491-2491 |
出口合作伙伴按期间排名 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6700-6700 |
人的能力 的 2 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2620-2620 |
按等级进口商品类型 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2696-2696 |
按等级进口合作伙伴 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2684-2684 |
按期间排名的进口伙伴 的 3 数量 是 正整数 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1588-1588 |
按输出排名行业 的 3 数量 是 正整数 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |