No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of Easter sunday and another time interval is an instance of lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	If a time interval is an instance of Easter sunday and another time interval is an instance of lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4517-4532	If a process is an instance of failure fn a kind of intentional process and a cognitive agent is an agent of the process, then the cognitive agent desires there exists another process such that the other process is an instance of a kind of intentional process and the cognitive agent is an agent of the other process and there doesn't exist the other process such that the other process is an instance of the kind of intentional process and the time of existence of the other process takes place during the time of existence of the process and the cognitive agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 643-661	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets another time interval and the other time interval meets the time of existence of the third process and there doesn't exist the other time interval such that the other time interval is an instance of radiating light and the other time interval originates at the object and the time of existence of the other time interval takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1190-1205	If a process is an instance of foaming milk and an entity is an instance of processed milk and the entity is a patient of the process, then there exist another process, a third process and another entity such that the other process is an instance of heating and the entity is a patient of the other process and the third process is an instance of aerating and the entity is a patient of the third process and the other entity is a result of the third process and the other entity is an instance of bubble and the time of existence of the third process takes place during the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	If an agent is an instance of man and mausaharati is an attribute of the agent and a process is an instance of drumming and the agent is an agent of the process and the processAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the processAY and the time of existence of the process happens earlier than the other time interval, then the process has the purpose there exist an entity, the other time intervalUHUR and a third entity such that the third entity is an instance of waking up and the entity experiences the third entity and the other time intervalUHUR is an instance of suhur and the entity is an agent of the other time intervalUHUR and the time of existence of the third entity happens earlier than the time of existence of the other time intervalUHUR and the time of existence of the third entity takes place during the processAY and the time of existence of the other time intervalUHUR takes place during the processAY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11368-11385	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11915-11932	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity, then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5725-5736	If a process is an instance of pruritus and the process is located at an object and the object is a part of a cognitive agent and the cognitive agent experiences the process, then the cognitive agent desires there exists an entity such that the entity is an instance of scratching and the time of existence of the entity takes place during the time of existence of the process and the entity is located at the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the web site is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the web site is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new buyers at the web site during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the physical is a registered user of the web site holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the physical is a registered user of the web site holds during the time interval, then the physical is a member of the collection and the collection is equal to new registrations at the web site during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the web site is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the web site is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new sellers at the web site during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1051-1063	If an agent is an instance of guided missile and a process is an instance of flying and the agent is a patient of the process, then there exists another process such that the other process is an instance of guiding and the process is a patient of the other process and the agent is an agent of the other process and the time of existence of the other process takes place during the time of existence of the process
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 8980-8985	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.	Mid-level-ontology.kif 5749-5759	If a process is an instance of rash and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of pruritus and the agent experiences the entity and the time of existence of the entity takes place during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	If a process is an instance of speaking and an object is an instance of jaw and an agent is an agent of the process and the object is a part of the agent, then the statement there exists an entity such that the entity is an instance of body motion and the object transferred in the entity is the object and the time of existence of the entity takes place during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object, then the other objectB has the purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the other time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 376-385	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the time interval meets the other time interval, then there exists a third time interval such that the third time interval is an instance of year and the time interval takes place during the third time interval and the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 491-500	If a time interval is an instance of two stroke compression and the time interval is located at an object and the object is an instance of two stroke engine, then there exists another time interval such that the other time interval is an instance of explosion and the other time interval takes place during the time interval and the other time interval is located at the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
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