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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - income
income

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3272-3275
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3269-3269 The number 1 argument of income is an instance of human
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3270-3270 The number 2 argument of income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3271-3271 The number 3 argument of income is an instance of time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3268-3268 income is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1289-1289
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1288-1288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1287-1287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29515-29515
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29514-29514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29513-29513

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3283-3288 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 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