Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IncomeTax(income tax) |  | income_tax |
| appearance as argument number 1 |
|
|
| (subclass IncomeTax Tax) | FinancialOntology.kif 966-966 | Income tax is a subclass of tax |
| (documentation IncomeTax EnglishLanguage "A Tax on annual income.") | FinancialOntology.kif 967-967 | Income tax is a subclass of tax |
| appearance as argument number 2 |
|
|
|