YearFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8625-8629
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8616-8624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8614-8614	The number 1 argument of year is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8611-8611	Year is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8613-8613	Year is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8612-8612	Year is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8615-8615	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 280-280
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.	portuguese_format.kif 221-221
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 201-201
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-tg.txt 509-509
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8776-8776	Year is internally related to year
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 466-466	"年函数" is the printable form of year in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11057-11057	"year" is the printable form of year in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 651-651	"«السَّنَة»" is the printable form of year in ar

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 174-202	The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) is equal to another quantity and the other quantity and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 77-86	The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the population of the geopolitical area is equal to a fourth integer holds during the year the other integer and the third integer and the fourth integer is equal to a quantity and (the quantity and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Media.kif 1938-1943	If a day is a birthdate of JesusOfNazareth 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 606-611	If the day a positive integer is a commemorates date of a holiday and a time interval is an instance of the 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 613-619	If the day a positive integer is a commemorates date of a holiday and an entity is an instance of the holiday and the 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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1945-1950	If a day is a deathdate of JesusOfNazareth 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.	Merge.kif 8924-8932	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.	LinkedInDegrees.kif 473-483	If an entity is an instance of student and another entity is an instance of student and a human is an instance of school and the human attends the entity and the human attends the other entity and an integer is an instance of year and the entity expects to graduate in the year the integer and the other entity expects to graduate in the year the integer, then the entity and the other entity are classmates
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 TwelveApostles is a part of interval between the beginning of the time interval and the end of the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 174-202	The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) is equal to another quantity and the other quantity and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 77-86	The population growth of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the population of the geopolitical area is equal to a fourth integer holds during the year the other integer and the third integer and the fourth integer is equal to a quantity and (the quantity and 1) is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1355-1361	An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval
No TPTP formula. May not be expressible in strict first order.	Government.kif 613-619	If the day a positive integer is a commemorates date of a holiday and an entity is an instance of the holiday and the 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
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 447-460	If an entity is an instance of student and a human is an instance of school and the human attends the entity and a process is an instance of graduation and there exist an integer and a physical such that the integer is an instance of year and the physical exists during the process and the human is an agent of the process and the entity is a patient of the process and the physical takes place during the integer, then the entity expects to graduate in the year the integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1350-1353	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 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 2814-2814	The year 1994 is a date established of ASEAN regional forum
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 2820-2820	The year 1984 is a date established of australia group
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

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

KB Term:			Term intersection

English Word: