| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8665-8668 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8659-8664 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8656-8656 | 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 8657-8657 | The number 2 argument of day is a subclass of month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8654-8654 | Day is an instance of binary function |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8655-8655 | Day is an instance of partial valued relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8653-8653 | Day is an instance of temporal relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8658-8658 | 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 282-282 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 271-271 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 65-65 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 223-223 | |
| No TPTP formula. May not be expressible in strict first order. | arabic_format.kif 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 99-99 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 277-277 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 612-612 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 106-106 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 146-146 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9123-9123 | Day is internally related to day |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 470-470 | "日函数" is the printable form of day in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3531-3531 | "day" is the printable form of day in english language |
| No TPTP formula. May not be expressible in strict first order. | arabic_format.kif 653-653 | "«اليَوْم»" is the printable form of day in ar |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 147-147 | "tungkulin araw" is the printable form of day in tg |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 606-611 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 613-619 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8674-8679 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8670-8672 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 613-619 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3038-3038 | The day 1 is an agreement adoption date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3039-3039 | The day 23 is an agreement effective date of antarctic treaty |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2931-2931 | 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 2946-2946 | 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 4082-4082 | 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 4222-4222 | The day 1 is a date dissolved of warsaw pact |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2697-2697 | 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 2704-2704 | The day 4 is a date established of african development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2713-2713 | 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 2720-2720 | 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 2733-2733 | 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 2738-2738 | The day 23 is a date established of antarctic treaty council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2749-2749 | 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 2755-2755 | The day 16 is a date established of arab cooperation council |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2761-2761 | 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 2770-2770 | The day 22 is a date established of arab league |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2779-2779 | The day 17 is a date established of arab maghreb union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2788-2788 | The day 27 is a date established of arab monetary fund |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2794-2794 | 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 2800-2800 | The day 19 is a date established of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2806-2806 | 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 2826-2826 | 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 2832-2832 | 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 2838-2838 | The day 3 is a date established of benelux economic union |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2858-2858 | 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 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners