No TPTP formula. May not be expressible in strict first order.	Merge.kif 12212-12220	If a process is an instance of keeping and an entity is a patient of the process, then there exists another entity such that for all a time position if the time position is a part of the time of existence of the process, then the entity is located at the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4819-4833	If a self connected object is an instance of object and convex round shape is an attribute of the self connected object and another self connected object is a surface of the self connected object and the other self connected object is an instance of two dimensional object, then for all a geometric point the geometric point is a part of the self connected object and geometric point is an attribute of the geometric point and the geometric point is a vertex of the self connected object and the geometric point meets the self connected object and the geometric point meets the other self connected object and there exists an one dimensional figure such that a tangent of the other self connected object is the one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7466-7473	If a human is an instance of human and the descendants of the human is equal to a family group, then for all an organism the organism is a member of the family group if and only if the human is the ancestor of the organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8452-8461	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then for all a third time point the third time point is between or at the time point and the other time point if and only if the third time point is a part of the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity, another entity and a third entity such that the entity is a guest at the organization and the entity stays at the other entity and the third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3610-3618	If a binary relation is an instance of reflexive relation and the binary relation is reflexive on a class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the class, then the binary relation the entity and the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5305-5313	If a collection is an instance of clothing suit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13360-13371	If a process is an instance of war and an agent is an agent of the process, then the agent is an instance of geopolitical area or the agent is an instance of organization and for all a physical if the physical is a member of the agent, then the physical is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Dining.kif 295-303	If an object is an instance of buffet and breakfast is an attribute of the object, then the statement for all an entity if the entity is a member of the object, then breakfast is an attribute of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	If a collection is an instance of outfit and a physical is a member of the collection and an entity wears the physical holds during a time position, then for all another physical if the other physical is a member of the collection, then the entity wears the other physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	If a hotel reservation is for an integer 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.	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the real number, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of object, then for all an object if the object is an instance of a kind of hotel unit, then there exists another physical such that the object is an instance of the kind of hotel unit and the other physical is an instance of the kind of physical and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	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.	Merge.kif 3689-3701	If a binary relation is trichotomizing on a class and the binary relation is an instance of relation extended to quantities, then for all an entity and another entity if the entity is an instance of the class and the other entity is an instance of the class, then the binary relation the entity and the other entity or the binary relation the other entity and the entity or the entity is equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3048-3055	If a relation has a positive integer argument(s) and the relation is an instance of predicate, then for all @ROW if the relation @ROW, then length of (@ROW) is equal to the positive integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18035-18043	If wet is an attribute of an object, then for all another object if the other object is a part of the object, then there exists a third object such that the third object is a part of the other object and liquid is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Biography.kif 436-465	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	If female level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that female is an attribute of the entity and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5369-5374	If a real number is an average of a list, then for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3810-3818	If a kind of process is a causes subclass of another kind of process, then for all a third process if the third process is an instance of a kind of process, then there exists a fourth process such that the fourth process is an instance of another kind of process and the fourth process causes the third process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1325-1332	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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