No TPTP formula. May not be expressible in strict first order.	Merge.kif 8280-8282	If a time interval happens earlier than another time interval, then the end of the time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7902-7909	If the beginning of a time interval is equal to a time point, then for all another time point if the other time point is a part of the time interval and the other time point is not equal to the time point, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7920-7927	If the end of a time interval is equal to a time point, then for all another time point if the other time point is a part of the time interval and the other time point is not equal to the time point, then the other time point happens before the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7980-7988	If a time interval finishes another time interval, then the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1033-1044	If angst is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes the statement there exists an entity such that the cognitive agent doesn't want the entity and the time position happens before the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1914-1929	If a physical is an instance of ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exists a third entity such that the third entity is an instance of injuring and a fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2160-2167	If a physical is an instance of check-out service, then there exists the physicalIN such that the physicalIN is an instance of check-in service and the beginning of the time of existence of the physicalIN happens before the beginning of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 218-226	If a time interval is an instance of eid al fitr, then there exist another time interval and a third time interval such that the other time interval is an instance of ramadan and the third time interval is an instance of year and the other time interval takes place during the third time interval and the time interval takes place during the third time interval and the other time interval happens before the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8036-8038	If a time interval is an instance of time interval, then the beginning of the time interval happens before the end of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29256-29276	If an entity is an instance of Invoice, then there exist a symbolic string, a cognitive agent,, , another cognitive agent and another entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the other cognitive agent and the other cognitive agent allows the cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of selling and a fourth entity is an instance of product and the object transferred in the third entity is the fourth entity and the entity includes a reference to the fourth entity and the other cognitive agent is an agent of the third entity and the cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25154-25165	If a physical is an instance of electronic lock, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the entity ends up at the physical and the other entity is an instance of opening and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 274-288	If a time interval is an instance of muakhar sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent holds during the other time interval and the entity is the wife of the agent doesn't hold during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 294-308	If a time interval is an instance of muqaddam sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent doesn't hold during the other time interval and the entity is the wife of the agent holds during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11898-11918	If a physical is an instance of anti-inflammatory, then the physical has the purpose there exist an entity, another entity and the entityN such that the entity is an instance of inflammation and the entity experiences the other entity and the entityN is an instance of ingesting and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the entityN and there doesn't exist the entity2 such that the entity2 is an instance of inflammation and the other entity experiences the entity2 holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8014-8026	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happen%{s} before or at the third time point and the third time point happen%{s} before or at the other time point, then the physical exists during the third time point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29283-29303	If an entity is an instance of PurchaseOrder, then there exist a symbolic string, a cognitive agent and another cognitive agent such that the unique identifier of the symbolic string is the entity and the cognitive agent buys another entity from the other cognitive agent and the cognitive agent obligates the other cognitive agent to perform task of the type there exists a third entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the third entity and the third entity is an instance of buying and the other entity is an instance of product and the object transferred in the third entity is the other entity and the entity includes a reference to the other entity and the cognitive agent is an agent of the third entity and the other cognitive agent is a patient of the third entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1760-1777	If a process is an instance of laundry service, then there exist an entity, another process,, , a third process and a fourth process such that the entity is an instance of clothing and the entity is a patient of the process and the other process is a subprocess of the process and the other process is an instance of washing and the entity is a patient of the other process and clean is an attribute of the entity is a result of the other process and the third process is a subprocess of the process and the third process is an instance of drying and the entity is a patient of the third process and the fourth process is an instance of ironing and the fourth process is a subprocess of the process and the entity is a patient of the fourth process and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process and the beginning of the time of existence of the third process happens before the beginning of the time of existence of the fourth process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1944-1962	If a process is an instance of room service, then there exist a cognitive agent, an entity,, , another cognitive agent,, , another process,, , another entity,, , a third process and an object such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent is an agent of the process and the other process is an instance of requesting and the other cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the other cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1802-1823	If a process is an instance of valet laundry, then there exist a human, a cognitive agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the cognitive agent is a customer of the human and the human stays at the temporary residence and the cognitive agent is an agent of the process and the entity is an instance of clothing and the third process is an instance of getting and the third process is located at the temporary residence and the entity is a patient of the third process and the cognitive agent is an agent of the third process and the other process is an instance of laundry service or the other process is an instance of dry-clean and the cognitive agent is an agent of the other process and the entity is a patient of the other process and the fourth process is an instance of delivery service and the entity is a patient of the fourth process and the fourth process ends up at the temporary residence and the beginning of the time of existence of the third process happens before the beginning of the time of existence of the other process and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the fourth process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2137-2151	If a physical is an instance of bidet, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of defecation or the entity is an instance of urination and the third entity is an instrument for the entity and the other entity is an instance of washing and the object transferred in the other entity is the third entity and the physical is an instrument for the other entity and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25420-25441	If a physical is an instance of earphone, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 82-92	If a physical is an instance of iftar, then there exist a time interval, another time interval and a third time interval such that the other time interval is an instance of sunset and the time interval is an instance of ramadan and the third time interval is an instance of day and the third time interval takes place during the time interval and the time of existence of the physical takes place during the third time interval and the other time interval takes place during the third time interval and the other time interval happens before the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 36-46	If a physical is an instance of suhur, then there exist a time interval, another time interval and a third time interval such that the other time interval is an instance of sunrise and the time interval is an instance of ramadan and the third time interval is an instance of day and the third time interval takes place during the time interval and the time of existence of the physical takes place during the third time interval and the other time interval takes place during the third time interval and the time of existence of the physical happens before the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 1336-1350	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of RecordingTape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26067-26080	If a physical is an instance of tripod, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of artifact and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the physical and the third entity is an instance of process and the entity is an instrument for the third entity and the end of the time of existence of the other entity happens before the beginning of the time of existence of the third entity
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