No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1818-1828 |
Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity |
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 29767-29776 |
|
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 24018-24027 |
|
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 11753-11764 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11927-11938 |
|
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 11678-11688 |
|
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 11609-11614 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1723-1739 |
|
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 |