No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 169-169 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9533-9533 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9535-9535 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9532-9532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8645-8645 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 168-168 |
Pay check is a subclass of check |