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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - loanFeeAmount
loanFeeAmount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4159-4160
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4157-4157 貸款費用金額, 1 and 貸款
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4158-4158 貸款費用金額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4156-4156 貸款費用金額 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1547-1547
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1546-1546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1545-1545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34823-34823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34822-34822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34821-34821

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4162-4166


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