YearFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2749-2753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8656-8664
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1475-1480
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8653-8653	The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8650-8650	Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8652-8652	Year is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8651-8651	Year is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8654-8654	The values returned by year are subclasses of year

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 465-465
No TPTP formula. May not be expressible in strict first order.	english_format.kif 471-471
No TPTP formula. May not be expressible in strict first order.	french_format.kif 269-269
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 317-317
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2059-2059
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 608-608
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 351-351
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 290-290
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 296-296
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 509-509
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8837-8837	Year is internally related to year
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63751-63751	Year is internally related to year
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 466-466	Year is internally related to year
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63750-63750	Year is internally related to year
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63749-63749	Year is internally related to year
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 188-188	Year is internally related to year

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25885-25895	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 the other kind of day is equal to 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.	Media.kif 1938-1943	If a day is a birthdate of Jesus of Nazareth and a time interval is an instance of the year -6 and another time interval is an instance of the year 4, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
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.	Media.kif 1945-1950	If a day is a deathdate of Jesus of Nazareth and a time interval is an instance of the year 29 and another time interval is an instance of the year 36, then the day is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25564-25580	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 a real number is equal to (49 and an integer) and another real number is equal to (52 and the integer) and a time point is equal to 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 8820-8827	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 a time point is equal to the beginning of the time interval and another time point is equal to 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 8829-8834	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 the other positive integer is equal to (the positive integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9099-9107	If an entity is an instance of leap year and the entity is an instance of the year an integer, then the integer mod 4 is equal to 0 and the integer mod 100 is not equal to 0 or the integer mod 400 is equal to 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8804-8811	If a time interval is an instance of the month a kind of month and another time interval is an instance of the month another kind of month and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and another kind of month is the successor class of a kind of month., then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8813-8818	If a time interval is an instance of the month a kind of month and another time interval is an instance of the month another kind of month and another kind of month is the successor class of a kind of month., then the time interval happens earlier than 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 the integer is equal to (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 the time of existence of the process is equal to 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 the integer is equal to (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 the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9078-9083	If a time interval is an instance of quarter year and the time interval is an instance of the number a positive integer quarter of the year an integer and the integerI is an instance of the year the integer, then the time interval takes place during the integerI
No TPTP formula. May not be expressible in strict first order.	Media.kif 1961-1965	If a time interval is an instance of the year 26 and another time interval is an instance of the year 100, then the time of existence of Twelve apostles is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17366-17372	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 the time the time position in zone central time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 6)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 156-187	A year is an instance of the year an integer and the migrants per thousand of a geopolitical area and the year is equal to a real number if and only if (the integer and another integer) is equal to 1 and an entity is an instance of the year the other integer and the population of the geopolitical area is equal to another real number holds during the year and the other real number and 1000 is equal to a third real number and a third integer is equal to the number of instances in the class described by a symbolic string and a fourth integer is equal to the number of instances in the class described by the symbolic string and (the third integer and the fourth integer) is equal to a fourth real number and the fourth real number and the third real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 52-64	A year is an instance of the year an integer and the population growth of a geopolitical area and the year is equal to a real number if and only if (the integer and the integerP) is equal to 1 and a time position is an instance of the year the integerP and the population of the geopolitical area is equal to another real number holds during the year and the population of the geopolitical area is equal to a third real number holds during the time position and the other real number and the third real number is equal to a fourth real number and (the fourth real number and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 961-968	An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25885-25895	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 the other kind of day is equal to 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 the other positive integer is equal to (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 the integer is equal to (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 the time of existence of the process is equal to 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 the integer is equal to (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 the time of existence of the process is equal to immediately after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25844-25855	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 the other kind of day is equal to 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.	Medicine.kif 3004-3012	If an entity is an instance of delta and the entity is a part of another entity and Covid is an attribute of the other entity holds during a real number, then the real number is greater than the month December
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 953-956	If an integer is a year of founding of an organization, then the year the integer is a date established of the organization

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3180-3180	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 3181-3181	?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.	People.kif 456-469	A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
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 2838-2838	The year 1994 is a date established of ASEAN regional forum
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 2844-2844	The year 1984 is a date established of australia group
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

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: