No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1301-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1300-1300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1299-1299 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3323-3323 |
after tax income is a subrelation of income earned |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3343-3343 |
before tax income is a subrelation of income earned |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3303-3303 |
tax deferred income is a subrelation of income earned |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29533-29533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29532-29532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 29531-29531 |
|