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 633-634
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 631-631 成人禮, 1 and 金融賬戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 632-632 成人禮, 2 and Day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 629-629 成人禮 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 630-630 子關係 成人禮 and 截止日期

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 TimeInterval 金融賬戶agreement 週期 飾面 Day and TimeInterval Day 金融賬戶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 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