| Tax
| |
| appearance as argument number 1 |
|
|
| (documentation Tax EnglishLanguage "A fee charged by a government on a product, income, or activity.") | FinancialOntology.kif 920-920 | |
| (externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/5/5e/Assorted_United_States_coins.jpg") | pictureList.kif 6914-6914 | |
| (externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/b/bf/Wells_egyptian_peasants_taxes.png") | pictureList.kif 8046-8046 | |
| (subclass Tax ChargingAFee) | FinancialOntology.kif 919-919 |
| appearance as argument number 2 |
|
|
| (subclass DutyTax Tax) | FinancialOntology.kif 947-947 | |
| (subclass IncomeTax Tax) | FinancialOntology.kif 944-944 | |
| (termFormat ChineseLanguage Tax "税") | domainEnglishFormat.kif 57078-57078 | |
| (termFormat ChineseTraditionalLanguage Tax "稅") | domainEnglishFormat.kif 57077-57077 | |
| (termFormat EnglishLanguage Tax "tax") | domainEnglishFormat.kif 57076-57076 |
| antecedent |
|
|
| (=> (instance ?Tax Tax) (exists (?Org) (and (instance ?Org Government) (agent ?Tax ?Org)))) |
FinancialOntology.kif 922-927 |
| consequent |
|
|
| (=> (and (taxDeferredIncome ?Agent ?Income ?Activity) (time ?Activity ?Time)) (not (exists (?Tax) (and (instance ?Tax Tax) (causes ?Activity ?Tax) (time ?Tax ?Time))))) |
FinancialOntology.kif 3312-3321 | |
| (=> (instance ?Investment TaxFreeInvestment) (not (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment))))) |
FinancialOntology.kif 2129-2135 | |
| (=> (instance ?Investment TaxableInvestment) (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment)))) |
FinancialOntology.kif 2139-2144 | |
| (=> (instance ?RETURN TaxReturn) (hasPurpose ?RETURN (exists (?CALCULATE ?AMOUNT ?TAX) (and (instance ?CALCULATE Calculating) (instrument ?CALCULATE ?RETURN) (result ?CALCULATE ?AMOUNT) (transactionAmount ?TAX ?AMOUNT) (instance ?TAX Tax))))) |
FinancialOntology.kif 933-942 |
|
|
|