Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tax
Tax

appearance as argument number 1
-------------------------


(documentation Tax EnglishLanguage "A fee charged by a government on a product, income, or activity.") FinancialOntology.kif 874-874
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/5/5e/Assorted_United_States_coins.jpg") pictureList.kif 6916-6916
(externalImage Tax "http://upload.wikimedia.org/wikipedia/commons/b/bf/Wells_egyptian_peasants_taxes.png") pictureList.kif 8049-8049
(subclass Tax ChargingAFee) FinancialOntology.kif 873-873

appearance as argument number 2
-------------------------


(subclass DutyTax Tax) FinancialOntology.kif 901-901
(subclass IncomeTax Tax) FinancialOntology.kif 898-898
(termFormat ChineseLanguage Tax "税") domainEnglishFormat.kif 57021-57021
(termFormat ChineseTraditionalLanguage Tax "稅") domainEnglishFormat.kif 57020-57020
(termFormat EnglishLanguage Tax "tax") domainEnglishFormat.kif 57019-57019

antecedent
-------------------------


(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))
FinancialOntology.kif 876-881

consequent
-------------------------


(=>
    (and
        (taxDeferredIncome ?Agent ?Income ?Activity)
        (time ?Activity ?Time))
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (causes ?Activity ?Tax)
                (time ?Tax ?Time)))))
FinancialOntology.kif 3252-3261
(=>
    (instance ?Investment TaxFreeInvestment)
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (origin ?Tax ?Investment)))))
FinancialOntology.kif 2079-2085
(=>
    (instance ?Investment TaxableInvestment)
    (exists (?Tax)
        (and
            (instance ?Tax Tax)
            (origin ?Tax ?Investment))))
FinancialOntology.kif 2089-2094
(=>
    (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 887-896


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners