age - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2635-2636
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7189-7190
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7187-7187	The number 2 argument of age is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7186-7186	age is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7184-7184	age is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7185-7185	age is a subrelation of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order.	english_format.kif 617-617
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5804-5804
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5803-5803

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1061-1070	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 989-998	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.	Mid-level-ontology.kif 320-326	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is greater than 12 and the quantity 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 208-214	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity 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 255-260	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity 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 367-372	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity 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 294-299	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity 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.	Merge.kif 7192-7196	If a time point is an instance of time point and the age of a physical is a time duration holds during the time point, then duration of interval between the beginning of the time of existence of the physical and the time point is the time duration
No TPTP formula. May not be expressible in strict first order.	Military.kif 849-855	If a time duration is a military age of a geopolitical area and the geopolitical area is a military of area of a military organization and an object is a member of the military organization and the age of the object is another time duration, then the other time duration is greater than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Law.kif 602-619	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of process is located at a geopolitical area and the geopolitical area is an instance of nation and the kind of 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 kind of process in the geopolitical area and a content bearing physical is a result of the kind of 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 kind of process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1162-1175	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 1106-1116	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 1038-1046	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 966-974	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.	UXExperimentalTerms.kif 1275-1279	If a human is an underage user of a WebSite 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-191	If an entity is an instance of human adult and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 353-358	If an entity is an instance of human baby and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is less than or equal to 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 280-285	If an entity is an instance of human child and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is less than or equal to 14
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 304-311	If an entity is an instance of teenager and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is greater than 12 and the quantity is less than 20
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 241-246	If an entity is an instance of human youth and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is less than 18

consequent

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 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 a 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 number 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 another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other 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 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 another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other 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 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 another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other 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.	Government.kif 1118-1138	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 1048-1059	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 976-987	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 17535-17564	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical and a real number 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 another 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 a 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 839-847	If a time duration is a military age of a geopolitical area and the geopolitical area is a military of area of a military organization and an object is a member of the military organization, then there exists another time duration such that the age of the object is the other time duration and the other time duration is greater than or equal to the time duration
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2881-2896	If an agent is for an integer seniors and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and for all an object if the object is a member of the collection, then the object is an instance of human adult and the age of the object is a 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 other agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 621-636	If an agreement is a party to agreement of a cognitive agent and a kind of process is an instance of intentional process and a kind of 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 kind of process in the geopolitical area and a content bearing physical is a result of the kind of 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 kind of process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1197-1217	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 1026-1036	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 954-964	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.	Mid-level-ontology.kif 360-365	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 193-198	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)
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 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 14 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 248-253	If an entity is an instance of human youth 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 17 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 313-318	If an entity is an instance of teenager 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 13 year duration(s) to 19 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15124-15133	If a collection is an instance of age group, then for all an object, another object,, , a time duration and another time duration if the object is a member of the collection and the other object is a member of the collection and the age of the object is the time duration and the age of the other object is the other time duration, then the time duration is equal to the other time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 380-386	If an object is an older of another object, then there exist a real number, another real number and an unit of measure such that the age of the other object is the real number the unit of measure(s) and the age of the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1177-1195	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1104	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a real number and another real number if the human is a citizen of the nation and the real number year duration(s) is a suffrage age minimum of the nation and the age of the human is the other real number year duration(s) and the other real number is greater than or equal to the real number and the 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

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1078-1089	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 1146-1160	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.	Military.kif 867-876	The available for military service male of a geopolitical area 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.	Military.kif 890-901	The fit for military service male of a geopolitical area 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.	Military.kif 928-941	The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by a symbolic string

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: