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 6915-6915 | |
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/b/bf/Wells_egyptian_peasants_taxes.png") | pictureList.kif 8047-8047 | |
(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 57083-57083 | |
(termFormat ChineseTraditionalLanguage Tax "稅") | domainEnglishFormat.kif 57082-57082 | |
(termFormat EnglishLanguage Tax "tax") | domainEnglishFormat.kif 57081-57081 |
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 |