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

Formal Language: 



KB Term:  Term intersection
English Word: 

  simpleInterest

Sigma KEE - simpleInterest
simpleInterest

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 534-536
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 531-531 O argumento numero 1 de simpleInterest e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 532-532 O argumento numero 2 de simpleInterest e' uma instancia de Interest
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 533-533 O argumento numero 3 de simpleInterest e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 529-529 simpleInterest e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 530-530 simpleInterest e' uma sub-relacao de interestEarned

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2303-2303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2302-2302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2301-2301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53126-53126
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53125-53125
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53124-53124

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 538-548
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 587-597


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