No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 427-427 |
Deposit is disjoint from withdrawal |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 428-429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9140-9140 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9141-9141 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8448-8448 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 426-426 |
Deposit is a subclass of financial transaction |