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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - monthlyIncome
monthlyIncome

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


(documentation monthlyIncome EnglishLanguage "(monthlyIncome ?Agent ?Money) means that ?Money is the amount of money received during one month period") FinancialOntology.kif 3297-3298
(domain monthlyIncome 1 Human) FinancialOntology.kif 3294-3294 monthlyIncome の数値 1 引数は 人[人間]instance では
(domain monthlyIncome 2 CurrencyMeasure) FinancialOntology.kif 3295-3295 monthlyIncome の数値 2 引数は 通貨測定instance では
(instance monthlyIncome BinaryPredicate) FinancialOntology.kif 3296-3296 monthlyIncome2進述語instance では

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


(format ChineseLanguage monthlyIncome "%1 有 monthly income %2 ") domainEnglishFormat.kif 3876-3876
(format ChineseTraditionalLanguage monthlyIncome "%1 有 monthly income %2 ") domainEnglishFormat.kif 3875-3875
(format EnglishLanguage monthlyIncome "%1 has monthly income %2") domainEnglishFormat.kif 3874-3874
(termFormat ChineseLanguage monthlyIncome "月收入") domainEnglishFormat.kif 38504-38504
(termFormat ChineseTraditionalLanguage monthlyIncome "月收入") domainEnglishFormat.kif 38503-38503
(termFormat EnglishLanguage monthlyIncome "monthly income") domainEnglishFormat.kif 38502-38502

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3300-3305 monthlyIncome 人[人間] and 通貨測定 時間間隔 時間間隔instance では income 人[人間], 通貨測定 and 時間間隔


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