No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10363-10374	If a process is an instance of Breath, then there exist another process and a third process such that the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process happens earlier than the time of existence of the third process and the time of existence of the other process meets the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8870-8877	If a time interval is an instance of day time, then there exist another time interval and a third time interval such that the other time interval is an instance of night time and the third time interval is an instance of night time and the time interval meets the other time interval and the third time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1630-1642	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 114-132	If a physical is an instance of four stroke engine, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the entity2 such that the entity is an instance of four stroke intake and the other entity is an instance of four stroke compression and the third entity is an instance of four stroke combustion and the fourth entity is an instance of four stroke exhaust and the entity2 is an instance of four stroke intake and the entity is located at the physical and the other entity is located at the physical and the third entity is located at the physical and the fourth entity is located at the physical and the entity2 is located at the physical and the entity meets the other entity and the other entity meets the third entity and the third entity meets the fourth entity and the fourth entity meets the entity2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 147-164	If a process is an instance of four stroke engine cycle, then there exist a time interval, another time interval,, , a third time interval,, , a fourth time interval and the time interval2 such that the time interval is an instance of four stroke intake and the other time interval is an instance of four stroke compression and the third time interval is an instance of four stroke combustion and the fourth time interval is an instance of four stroke exhaust and the time interval2 is an instance of four stroke intake and the time interval is a subprocess of the process and the other time interval is a subprocess of the process and the third time interval is a subprocess of the process and the fourth time interval is a subprocess of the process and the time interval2 is a subprocess of the process and the time interval meets the other time interval and the other time interval meets the third time interval and the third time interval meets the fourth time interval and the fourth time interval meets the time interval2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8486-8488	If a time interval is an instance of time interval, then before the time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8517-8519	If a time interval is an instance of time interval, then the time interval meets after the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval,, , a third time interval and an agent such that the object is an instance of web site and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and the agent is an agent of the time interval and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8892-8899	If a time interval is an instance of night time, then there exist another time interval and a third time interval such that the other time interval is an instance of day time and the third time interval is an instance of day time and the time interval meets the other time interval and the third time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19166-19171	If a time interval is an instance of spring season, then there exists another time interval such that the other time interval is an instance of summer season and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19173-19178	If a time interval is an instance of spring season, then there exists another time interval such that the other time interval is an instance of winter season and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19191-19196	If a time interval is an instance of summer season, then there exists another time interval such that the other time interval is an instance of fall season and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19184-19189	If a time interval is an instance of summer season, then there exists another time interval such that the other time interval is an instance of spring season and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 264-278	If a process is an instance of two stroke engine cycle, then there exist a time interval, another time interval,, , the processT and the time interval2 such that the time interval is an instance of two stroke intake and the other time interval is an instance of two stroke compression and the processT is an instance of two stroke transfer and the time interval2 is an instance of two stroke intake and the time interval is a subprocess of the process and the other time interval is a subprocess of the process and the processT is a subprocess of the process and the time interval2 is a subprocess of the process and the time interval meets the other time interval and the other time interval meets the processT and the processT meets the time interval2
No TPTP formula. May not be expressible in strict first order.	Media.kif 369-374	If a time interval is an instance of advent, then there exists another time interval such that the other time interval is an instance of Christmas day and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 362-367	If a time interval is an instance of Christmas day, then there exists another time interval such that the other time interval is an instance of advent and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 430-435	If a time interval is an instance of Easter sunday, then there exists another time interval such that the other time interval is an instance of lent and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 423-428	If a time interval is an instance of lent, then there exists another time interval such that the other time interval is an instance of Easter sunday and the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2023-2043	If a process is an instance of vapor compression cycle, then there exist another process, a third process,, , a fourth process and the other process2 such that the other process is an instance of compressing and the third process is an instance of condensing and the fourth process is an instance of evaporating and the other process2 is an instance of compressing and the other process is a subprocess of the process and the third process is a subprocess of the process and the fourth process is a subprocess of the process and the other process2 is a subprocess of the process and the time of existence of the other process meets the time of existence of the third process and the time of existence of the third process meets the time of existence of the fourth process and the time of existence of the fourth process meets the time of existence of the other process2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19121-19129	If a time interval is an instance of weekend, then there exist another time interval and a third time interval such that the other time interval is an instance of Saturday and the third time interval is an instance of Sunday and the other time interval starts the time interval and the third time interval finishes the time interval and the other time interval meets the third time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19153-19158	If a time interval is an instance of winter season, then there exists another time interval such that the other time interval is an instance of fall season and the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19146-19151	If a time interval is an instance of winter season, then there exists another time interval such that the other time interval is an instance of spring season and the time interval meets the other time interval

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