No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 930-931 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3208-3208 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3209-3209 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2996-2996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3212-3212 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3210-3210 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3211-3211 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 929-929 |
Tax return is a subclass of form text |