No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 365-366 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9567-9567 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8665-8665 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 364-364 |
ProcessingACheck e' uma sub-classe de AuthorizationOfTransaction |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 363-363 |
ProcessingACheck e' uma sub-classe de ControllingAnAccount |