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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maturityDate

 Sigma KEE - maturityDate
maturityDate

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 633-634
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 631-631 成人礼 的 1 数量 是 金融账户 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 632-632 成人礼 的 2 数量 是 日 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 629-629 成人礼 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 630-630 成人礼 是 截止日期 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1643-1643
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1642-1642
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1641-1641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36539-36539
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36538-36538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36537-36537

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2333-2355
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1087-1099
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1411-1421
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1596-1601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 636-640

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1109-1113
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2265-2268
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1082-1085


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