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

Formal Language: 



KB Term:  Term intersection
English Word: 

  income

Sigma KEE - income
income

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


(documentation income EnglishLanguage "(incomeOf ?Agent ?Money ?Period) means that ?Money is the amount of money or its equivalent received during a period of time in exchange for labor or services, from the sale of goods or property, or as profit from financial investments") FinancialOntology.kif 3279-3282
(domain income 1 Human) FinancialOntology.kif 3276-3276 The number 1 argument of income is an instance of human
(domain income 2 CurrencyMeasure) FinancialOntology.kif 3277-3277 The number 2 argument of income is an instance of currency measure
(domain income 3 TimeInterval) FinancialOntology.kif 3278-3278 The number 3 argument of income is an instance of time interval
(instance income TernaryPredicate) FinancialOntology.kif 3275-3275 income is an instance of ternary predicate

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


(format ChineseLanguage income "%1 %n{不} 对于 %3 income %2 ") domainEnglishFormat.kif 1289-1289
(format ChineseTraditionalLanguage income "%1 %n{不} 對於 %3 income %2 ") domainEnglishFormat.kif 1288-1288
(format EnglishLanguage income "%1 %n{doesn't} income %2 for %3") domainEnglishFormat.kif 1287-1287
(termFormat ChineseLanguage income "收入") domainEnglishFormat.kif 29502-29502
(termFormat ChineseTraditionalLanguage income "收入") domainEnglishFormat.kif 29501-29501
(termFormat EnglishLanguage income "income") domainEnglishFormat.kif 29500-29500

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3289-3294 A human has monthly income a currency measure if and only if there exists a time interval such that the time interval is an instance of month and the human income the currency measure for the time interval


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

Show without tree


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