FiscalYearStartingFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4065-4067 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4060-4060 | The number 1 argument of fiscal year starting is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4061-4061 | The number 2 argument of fiscal year starting is a subclass of year |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4058-4058 | Fiscal year starting is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4063-4063 | The range of fiscal year starting is an instance of time interval |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1025-1025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1024-1024 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1023-1023 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23989-23989 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23988-23988 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23987-23987 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4091-4101 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4085-4089 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4081-4083 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4069-4073 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4075-4079 |
![]() |
![]() |