No TPTP formula. May not be expressible in strict first order.	Merge.kif 8337-8341	If a time interval takes place during another time interval, then the end of the time interval happens before the end of the other time interval and the beginning of the other time interval happens before the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8400-8402	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 8020-8027	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 8038-8045	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 8098-8106	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 1025-1036	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 1906-1921	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 exist a third entity and a fourth entity such that the third entity is an instance of injuring and the 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 2187-2194	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.	Food.kif 703-716	If a time position is an instance of coffee making, then there exist an entity, another entity and a third entity such that the entity is an instance of liquid motion and the other entity is an instance of soaking and the third entity is an instance of removing and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the other entity and the beginning of the time of existence of the other entity happens before the beginning of the time of existence of the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 229-237	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 8154-8156	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 29856-29876	If an entity is an instance of invoice, then there exist a symbolic string, a cognitive agent,, , an agent,, , another entity and a third entity such that the unique identifier of the symbolic string is the entity and the cognitive agent buys the other entity from the agent and the agent allows the cognitive agent to perform task of the type there exists a fourth entity such that the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fourth entity and the fourth entity is an instance of selling and the third entity is an instance of product and the object transferred in the fourth entity is the third entity and the entity includes a reference to the third entity and the agent is an agent of the fourth entity and the cognitive agent is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25775-25786	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 285-299	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 305-319	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 12420-12440	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 8132-8144	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 happens before or at the third time point and the third time point happens 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 29883-29903	If an entity is an instance of purchase order, 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 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 1785-1802	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 1969-1987	If a process is an instance of room service, then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that the agent is a customer of the cognitive agent and the agent is an agent of the process and the other process is an instance of requesting and the 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 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 1827-1848	If a process is an instance of valet laundry, then there exist a human, an agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the agent is a customer of the human and the human stays at the temporary residence and the 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 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 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 2182-2196	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 26041-26062	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 91-101	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
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