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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - interestEarned
interestEarned

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 525-527
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 522-522 域 利息收入, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 523-523 域 利息收入, 2 and 利益
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 524-524 域 利息收入, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 521-521 例 利息收入 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1361-1361
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1360-1360
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1359-1359
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 551-551 子關係 複利 and 利息收入
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 530-530 子關係 單純的興趣 and 利息收入
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30437-30437 子關係 單純的興趣 and 利息收入
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30436-30436 子關係 單純的興趣 and 利息收入
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30435-30435 子關係 單純的興趣 and 利息收入

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3934-3940 TimeInterval 例 貸款 and 貸款 TimeInterval 是 貸款 的 agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 是 貸款 的 loan 利息
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1275-1285
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1226-1236
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1238-1247
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1287-1296
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1043-1052
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2347-2369
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1629-1638

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4176-4180
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4096-4101


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