No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1818-1828 |
例 Process and 退出 例 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶 的 currency Process 例 Process and 罰款 目的地 Process and 金融賬戶 的 currency 原因 Process and Process 金融賬戶 的 liqudity 是 高流動性 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29779-29788 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3759-3784 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1129-1142 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1239-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1033-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1115-1124 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24019-24028 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11731-11742 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11905-11916 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1087-1099 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11656-11666 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 564-569 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11587-11592 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1717-1733 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2627-2643 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2573-2587 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2554-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2516-2530 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2501-2511 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2412-2419 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2468-2476 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |