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 3272-3275
(domain income 1 Human) FinancialOntology.kif 3269-3269 收入 的 1 数量 是 人类instance
(domain income 2 CurrencyMeasure) FinancialOntology.kif 3270-3270 收入 的 2 数量 是 货币测量instance
(domain income 3 TimeInterval) FinancialOntology.kif 3271-3271 收入 的 3 数量 是 时距instance
(instance income TernaryPredicate) FinancialOntology.kif 3268-3268 收入三元谓语instance

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 29515-29515
(termFormat ChineseTraditionalLanguage income "收入") domainEnglishFormat.kif 29514-29514
(termFormat EnglishLanguage income "income") domainEnglishFormat.kif 29513-29513

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3283-3288 人类monthly income 货币测量 若且唯若 有存在 时距 这样 那个 时距instance那个 人类 对于 那个 时距 income 那个 货币测量


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