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

Formal Language: 


KB Term:  Term intersection
English Word: 

  incomeEarned

Sigma KEE - incomeEarned
incomeEarned

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3311-3314
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3308-3308 The number 1 argument of income earned is an instance of human
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3309-3309 The number 2 argument of income earned is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3310-3310 The number 3 argument of income earned is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3307-3307 income earned is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1301-1301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1300-1300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1299-1299
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3340-3340 after tax income is a subrelation of income earned
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3360-3360 before tax income is a subrelation of income earned
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3320-3320 tax deferred income is a subrelation of income earned
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29544-29544 tax deferred income is a subrelation of income earned
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29543-29543 tax deferred income is a subrelation of income earned
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29542-29542 tax deferred income is a subrelation of income earned

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3348-3358
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3316-3318

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