No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8588-8588 |
域 天, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15509-15509 |
域 版, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2978-2978 |
域 清單順序, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4976-4976 |
域 日誌, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14663-14663 |
域 定期發行, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8968-8968 |
域 QuarterFn, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8666-8666 |
域 第二, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14618-14618 |
域 系列卷, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8950-8950 |
域 WeekFn, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3440-3440 |
域 帳號, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2243-2243 |
域 按等級劃分的農產品類型, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13773-13773 |
域 原子數, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3457-3457 |
域 支票號碼, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1209-1209 |
域 數據流鬆弛, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 209-209 |
域 域, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 231-231 |
域 域子類, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21709-21709 |
域 電子數, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2324-2324 |
域 按等級出口商品類型, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2503-2503 |
域 按排名出口合作夥伴, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2491-2491 |
域 出口合作夥伴按期間排名, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6700-6700 |
域 人的能力, 2 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2620-2620 |
域 按等級進口商品類型, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2696-2696 |
域 按等級進口合作夥伴, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2684-2684 |
域 按期間排名的進口夥伴, 3 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1588-1588 |
域 按輸出排名行業, 3 and PositiveInteger |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |