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 36522-36522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36521-36521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36520-36520

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2341-2363
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1086-1098
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1410-1420
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1595-1600
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 1108-1112
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2273-2276
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1081-1084


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