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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maturityDate
maturityDate

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 593-594
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 591-591 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 592-592 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 589-589 maturity date is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 590-590 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 2282-2296
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1365-1375
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1551-1556
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 596-600

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 602-606 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 1063-1067
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2214-2217
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1036-1039


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