TreeView Knowledge Base Browser - monthlyIncome

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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3280-3281
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3277-3277	The number 1 argument of monthly income is an instance of human
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3278-3278	The number 2 argument of monthly income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3279-3279	monthly income is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3878-3878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3877-3877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3876-3876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38493-38493
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38492-38492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38491-38491

antecedent

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 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