YearDuration - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7161-7162
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7160-7160	Year duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7159-7159	Year duration is an instance of unit of duration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8853-8853	Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63745-63745	Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63744-63744	Year is internally related to year duration
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63743-63743	Year is internally related to year duration

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25535-25549	If menopause is an attribute of an agent holds during a time interval and equal a real number and (1 year duration(s) and the beginning of the time interval) and equal another time interval and interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1037-1046	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent and the age of the other agent is another real number year duration(s), then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1024-1035	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 965-974	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent and the age of the other agent is another real number year duration(s), then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 952-963	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 335-341	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is greater than 12 and the real number is less than 20, then the entity is an instance of teenager holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 212-218	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is greater than or equal to 18, then the entity is an instance of human adult holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 262-267	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than 18, then the entity is an instance of human youth holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 385-390	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than or equal to 1, then the entity is an instance of human baby holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 304-311	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than or equal to 14, then the entity is an instance of human child holds during the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1513-1518	If an agreement is an instance of bank term loan and a time interval is an agreement period of the agreement and duration of the time interval is a real number year duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Military.kif 920-928	If a real number year duration(s) is a military age of a geopolitical area and the geopolitical area is a military of area of a military organization and a physical is a member of the military organization and the age of the physical is another real number year duration(s), then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Military.kif 908-918	If a real number year duration(s) is a military age of a geopolitical area and the geopolitical area is a military of area of a military organization and a physical is a member of the military organization, then there exists another real number such that the age of the physical is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Law.kif 579-594	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 560-577	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of nation and the process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1138-1151	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then there exists a process such that the process is an instance of the voting of the election and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1082-1092	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1014-1022	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1002-1012	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 942-950	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 930-940	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1078-1082	If a human is an underage user of a web site and the age of the human is a real number year duration(s), then the real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 186-192	If an entity is an instance of human adult and the age of the entity is a real number year duration(s) holds during a time position, then the real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 368-373	If an entity is an instance of human baby and the age of the entity is a real number year duration(s) holds during a time position, then the real number is less than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 287-292	If an entity is an instance of human child and the age of the entity is a real number year duration(s) holds during a time position, then the real number is less than or equal to 14

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 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and 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 equal the female life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 equal the life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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.	Mid-level-ontology.kif 20299-20308	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20314-20324	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number is less than 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20330-20340	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number is less than 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20346-20356	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1024-1035	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age maximum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 952-963	If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a real number year duration(s) is a suffrage age minimum of the agent, then there exists another real number such that the age of the other agent is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22764-22794	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Military.kif 908-918	If a real number year duration(s) is a military age of a geopolitical area and the geopolitical area is a military of area of a military organization and a physical is a member of the military organization, then there exists another real number such that the age of the physical is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2936-2951	If a hotel reservation is for an integer &umberSeniorOccupant$"seniors" and an agent fulfills the hotel reservation, then there exist a collection and a real number such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is the real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 579-594	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6696-6707	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1002-1012	If a real number year duration(s) is a suffrage age maximum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 930-940	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4081-4083	If equal a time interval and the fiscal year starting of an agent and a kind of year, then duration of the time interval is 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15054-15058	If equal a real number and 1 and the real number, then equal the real number millennium duration(s) and the real number and 1000 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20635-20639	If equal a real number and 1 and the real number, then equal the real number century duration(s) and the real number and 100 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8872-8876	If equal a real number and 1 and the real number, then equal the real number decade duration(s) and the real number and 10 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-383	If an entity is an instance of human baby holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 194-202	If an entity is an instance of human adult holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 18 year duration(s) to 120 year duration(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1054-1065	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order.	Government.kif 1122-1136	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7164-7166	equal 1 year duration(s) and 365 day duration(s)

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: