DayFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2760-2763 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8078-8083 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8074-8074 | The number 1 argument of day is an instance of positive integer |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8075-8075 | The number 2 argument of day is a subclass of month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8072-8072 | Day is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8073-8073 | Day is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8071-8071 | Day is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8076-8076 | The values returned by day are subclasses of day |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 469-469 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 478-478 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8701-8701 | Day is internally related to day |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18658-18658 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 470-470 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18657-18657 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18656-18656 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 606-612 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3051-3051 | The day 1 is an agreement adoption date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3052-3052 | The day 23 is an agreement effective date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2925-2925 | The day 31 is a date dissolved of coordinating committee on export controls |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2940-2940 | The day 1 is a date dissolved of council for mutual economic assistance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4076-4076 | The day 25 is a date dissolved of united nations preventive deployment force |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4216-4216 | The day 1 is a date dissolved of warsaw pact |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2691-2691 | The day 6 is a date established of african caribbean and pacific group of states |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2698-2698 | The day 4 is a date established of african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2707-2707 | The day 20 is a date established of agency for the french speaking community |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2714-2714 | The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2727-2727 | The day 26 is a date established of andean community of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2732-2732 | The day 23 is a date established of antarctic treaty council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2743-2743 | The day 18 is a date established of arab bank for economic development in africa |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2749-2749 | The day 16 is a date established of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2755-2755 | The day 16 is a date established of arab fund for economic and social development |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | The day 22 is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2773-2773 | The day 17 is a date established of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2782-2782 | The day 27 is a date established of arab monetary fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2788-2788 | The day 7 is a date established of asia pacific economic cooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2794-2794 | The day 19 is a date established of asian development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | The day 8 is a date established of association of southeast asian nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2820-2820 | The day 1 is a date established of australia new zealand united states security treaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2826-2826 | The day 20 is a date established of bank for international settlements |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2832-2832 | The day 3 is a date established of benelux economic union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2852-2852 | The day 25 is a date established of black sea economic cooperation zone |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |