TaxReturn
|
|
appearance as argument number 1 |
(documentation TaxReturn EnglishLanguage "A FormText that is used for calculating the amount of income tax owed in a given year.") | FinancialOntology.kif 930-931 | |
(externalImage TaxReturn "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ Form_1040X%2C_2005.png") | pictureList.kif 3208-3208 | |
(externalImage TaxReturn "http://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ Form_1040%2C_2005%2C_page_2.jpg") | pictureList.kif 3209-3209 | |
(externalImage TaxReturn "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Form_1040%2C_2005.jpg") | pictureList.kif 2996-2996 | |
(externalImage TaxReturn "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Form_1040A%2C_2005%2C_page_2.jpg") | pictureList.kif 3212-3212 | |
(externalImage TaxReturn "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Form_1040EZ%2C_2005.jpg") | pictureList.kif 3210-3210 | |
(externalImage TaxReturn "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Form_1040A%2C_2005.jpg") | pictureList.kif 3211-3211 | |
(subclass TaxReturn FormText) | FinancialOntology.kif 929-929 | Tax return is a subclass of form text |
appearance as argument number 2 |
(termFormat ChineseLanguage TaxReturn "退税") | domainEnglishFormat.kif 57111-57111 | |
(termFormat ChineseTraditionalLanguage TaxReturn "退稅") | domainEnglishFormat.kif 57110-57110 | |
(termFormat EnglishLanguage TaxReturn "tax return") | domainEnglishFormat.kif 57109-57109 |
antecedent |
(=> (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 |
|