|
|
   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 57109-57109 | |
| (termFormat ChineseTraditionalLanguage TaxReturn "退稅") | domainEnglishFormat.kif 57108-57108 | |
| (termFormat EnglishLanguage TaxReturn "tax return") | domainEnglishFormat.kif 57107-57107 |
| 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 |
|
|
|
|
