TreeView Knowledge Base Browser

appearance as argument number 1

(instance income TernaryPredicate)	FinancialOntology.kif 3325-3325	income is an instance of ternary predicate
(domain income 1 Human)	FinancialOntology.kif 3326-3326	The number 1 argument of income is an instance of human
(domain income 2 CurrencyMeasure)	FinancialOntology.kif 3327-3327	The number 2 argument of income is an instance of currency measure
(domain income 3 TimeInterval)	FinancialOntology.kif 3328-3328	The number 3 argument of income is an instance of timeframe
(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 3329-3332	The number 3 argument of income is an instance of timeframe

appearance as argument number 2

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

consequent

(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))

FinancialOntology.kif 3340-3345

X has monthly income Y if, only if there exists Z such that Z is an instance of month, and X income Y for Z

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

KB Term:			Term intersection

English Word: