| Tax
| |
| appearance as argument number 1 |
|
|
| (documentation Tax EnglishLanguage "A fee charged by a government on a product, income, or activity.") | FinancialOntology.kif 922-922 | |
| (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 921-921 |
| appearance as argument number 2 |
|
|
| (subclass DutyTax Tax) | FinancialOntology.kif 949-949 | |
| (subclass IncomeTax Tax) | FinancialOntology.kif 946-946 | |
| (termFormat ChineseLanguage Tax "税") | domainEnglishFormat.kif 57076-57076 | |
| (termFormat ChineseTraditionalLanguage Tax "稅") | domainEnglishFormat.kif 57075-57075 | |
| (termFormat EnglishLanguage Tax "tax") | domainEnglishFormat.kif 57074-57074 |
| antecedent |
|
|
| (=> (instance ?Tax Tax) (exists (?Org) (and (instance ?Org Government) (agent ?Tax ?Org)))) |
FinancialOntology.kif 924-929 |
| consequent |
|
|
| (=> (and (taxDeferredIncome ?Agent ?Income ?Activity) (time ?Activity ?Time)) (not (exists (?Tax) (and (instance ?Tax Tax) (causes ?Activity ?Tax) (time ?Tax ?Time))))) |
FinancialOntology.kif 3329-3338 | |
| (=> (instance ?Investment TaxFreeInvestment) (not (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment))))) |
FinancialOntology.kif 2146-2152 | |
| (=> (instance ?Investment TaxableInvestment) (exists (?Tax) (and (instance ?Tax Tax) (origin ?Tax ?Investment)))) |
FinancialOntology.kif 2156-2161 | |
| (=> (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 935-944 |
|
|
|