DayFn - Sigma Knowledge base Browser

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 8705-8710
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1488-1492
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8701-8701	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 8702-8702	The number 2 argument of day is a subclass of month
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8699-8699	Day is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8700-8700	Day is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8698-8698	Day is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8703-8703	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 475-475
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.	japanese_format.kif 2061-2061
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.	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-ro.kif 292-292
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 298-298
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 9344-9344	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18669-18669	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 470-470	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18668-18668	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18667-18667	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 190-190	Day is internally related to day
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 147-147	Day is internally related to day

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25883-25893	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 576-581	If the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and a time interval is an instance of a kind of holiday and another time interval is an instance of the year an integer, then the time interval doesn't happen earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	If the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday and an integer is less than or equal to another entity_YEAR, then the entity is an instance of the day the positive integer of month the month a kind of month
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25562-25578	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month and equal a real number and (49 and an integer) and equal another real number and (52 and the integer) and equal a time point and the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8835-8842	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and equal a time point and the beginning of the time interval and equal another time point and the beginning of the other time interval and the other positive integer is greater than the positive integer, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8844-8849	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and the other positive integer is greater than the positive integer, then the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16210-16219	If a time position is an instance of the day a positive integer of month the month a kind of month and another time position is a part of week before fn the time position and the time position is a part of week after fn the other time position, then there exists another positive integer such that the other time position is an instance of the day the other positive integer of month the month a kind of month and equal the other positive integer and (the positive integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8716-8721	If a time interval is an instance of the day a positive integer of month a kind of month and another time interval is an instance of the day another positive integer of month a kind of month and equal (the other positive integer and the positive integer) and 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Biography.kif 71-87	If a process is an instance of bar mitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 102-118	If a process is an instance of bat mitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17381-17387	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone central time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 6)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17393-17399	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone eastern time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17369-17375	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone mountain time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17357-17363	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and equal the time the time position in zone pacific time zone and the other time position, then equal the other nonnegative integer and (the nonnegative integer and 8)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25842-25853	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that wedding anniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8712-8714	If an entity is an instance of the day a positive integer of month a kind of month, then the positive integer is less than or equal to 31

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25883-25893	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 583-589	If the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and an entity is an instance of a kind of holiday and the kind of holiday is a subclass of fixed holiday and an integer is less than or equal to another entity_YEAR, then the entity is an instance of the day the positive integer of month the month a kind of month
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16210-16219	If a time position is an instance of the day a positive integer of month the month a kind of month and another time position is a part of week before fn the time position and the time position is a part of week after fn the other time position, then there exists another positive integer such that the other time position is an instance of the day the other positive integer of month the month a kind of month and equal the other positive integer and (the positive integer and 7)
No TPTP formula. May not be expressible in strict first order.	Biography.kif 71-87	If a process is an instance of bar mitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Biography.kif 102-118	If a process is an instance of bat mitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25842-25853	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that wedding anniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3317-3317	The day 1 of month the month December is an agreement adoption date of antarctic treaty
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3318-3318	?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty
No TPTP formula. May not be expressible in strict first order.	Government.kif 2955-2955	The day 31 of month the month March is a date dissolved of coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order.	Government.kif 2970-2970	The day 1 of month the month January is a date dissolved of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4106-4106	The day 25 of month the month March is a date dissolved of united nations preventive deployment force
No TPTP formula. May not be expressible in strict first order.	Government.kif 4246-4246	The day 1 of month the month July is a date dissolved of warsaw pact
No TPTP formula. May not be expressible in strict first order.	Government.kif 2711-2711	The day 6 of month the month June 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 2718-2718	The day 4 of month the month August is a date established of african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2732-2732	The day 20 of month the month March is a date established of agency for the french speaking community
No TPTP formula. May not be expressible in strict first order.	Government.kif 2739-2739	The day 14 of month the month February 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 2757-2757	The day 26 of month the month May is a date established of andean community of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2762-2762	The day 23 of month the month June is a date established of antarctic treaty council
No TPTP formula. May not be expressible in strict first order.	Government.kif 2773-2773	The day 18 of month the month February 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 2779-2779	The day 16 of month the month February is a date established of arab cooperation council
No TPTP formula. May not be expressible in strict first order.	Government.kif 2785-2785	The day 16 of month the month May 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 2794-2794	The day 22 of month the month March is a date established of arab league
No TPTP formula. May not be expressible in strict first order.	Government.kif 2803-2803	The day 17 of month the month February is a date established of arab maghreb union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2812-2812	The day 27 of month the month April is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 2818-2818	The day 7 of month the month November is a date established of asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 2824-2824	The day 19 of month the month December is a date established of asian development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2830-2830	The day 8 of month the month August is a date established of association of southeast asian nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2850-2850	The day 1 of month the month September 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 2856-2856	The day 20 of month the month January is a date established of bank for international settlements
No TPTP formula. May not be expressible in strict first order.	Government.kif 2862-2862	The day 3 of month the month February is a date established of benelux economic union
No TPTP formula. May not be expressible in strict first order.	Government.kif 2882-2882	The day 25 of month the month June 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: