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	O argumento numero 1 de monthlyIncome e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3278-3278	O argumento numero 2 de monthlyIncome e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3279-3279	monthlyIncome e' uma instancia de Predicado Binario

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

monthlyIncome Humano and Medida de Divisa Intervalo Temporal Intervalo Temporal e' uma instancia de Mes income Humano, Medida de Divisa and Intervalo Temporal

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