TreeView Knowledge Base Browser

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
(domain income 2 CurrencyMeasure)	FinancialOntology.kif 3270-3270
(domain income 3 TimeInterval)	FinancialOntology.kif 3271-3271
(instance income TernaryPredicate)	FinancialOntology.kif 3268-3268

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

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

KB Term:			Term intersection

English Word: