MonthFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2754-2759 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8575-8583 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1481-1487 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8571-8571 | The number 1 argument of month is a subclass of month |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8572-8572 | The number 2 argument of month is a subclass of year |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8569-8569 | Month is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8570-8570 | Month is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8568-8568 | Month is an instance of temporal relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8573-8573 | The values returned by month are subclasses of month |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 467-467 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 473-473 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 270-270 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 194-194 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2060-2060 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 222-222 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 276-276 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 610-610 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 232-232 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 291-291 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 297-297 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 373-373 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9044-9044 | Month is internally related to month |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38487-38487 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 468-468 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38486-38486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38485-38485 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 374-374 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3192-3192 | The day 1 is an agreement adoption date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3193-3193 | ?D is an instance of the day 23 is an agreement effective date of antarctic treaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2994-2994 | 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 3009-3009 | 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 4145-4145 | 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 4285-4285 | The day 1 is a date dissolved of warsaw pact |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2750-2750 | 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 2757-2757 | The day 4 is a date established of african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2771-2771 | 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 2778-2778 | 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 2796-2796 | 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 2801-2801 | The day 23 is a date established of antarctic treaty council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2812-2812 | 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 2818-2818 | The day 16 is a date established of arab cooperation council |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2824-2824 | 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 2833-2833 | The day 22 is a date established of arab league |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2842-2842 | The day 17 is a date established of arab maghreb union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2851-2851 | The day 27 is a date established of arab monetary fund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2857-2857 | 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 2863-2863 | The day 19 is a date established of asian development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2869-2869 | 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 2889-2889 | 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 2895-2895 | 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 2901-2901 | The day 3 is a date established of benelux economic union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2921-2921 | 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 |