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 The number 1 argument of maturity date is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 632-632 The number 2 argument of maturity date is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 629-629 maturity date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 630-630 maturity date is a subrelation of expiration date

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 A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
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