DayOrder(day order) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2953-2955 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2952-2952 | Day order is a subattribute of financial order |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18693-18693 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18692-18692 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18691-18691 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2957-2961 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2921-2925 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2974-2976 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2994-2998 |
|
![]() |
![]() |