Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TaxFreeInvestment(tax free investment) |
| appearance as argument number 1 |
|
| (subclass TaxFreeInvestment Investment) | FinancialOntology.kif 2168-2168 | Tax free investment is a subclass of investment |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Investment TaxFreeInvestment) (not (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment))))) |
FinancialOntology.kif 2170-2176 | If X is an instance of tax free investment, then there doesn't exist Y such that Y is an instance of tax and Y originates at X |
|