No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19714-19720	If a physical is an instance of negotiating, then the physical has the purpose there exists an entity such that the entity is an instance of committing and the entity is a subprocess of the physical and the time of existence of the entity finishes the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8901-8908	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 sunrise and the third time interval is an instance of sunset and the third time interval starts the time interval and the other time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19109-19116	If a time interval is an instance of post meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval and the third time interval is an instance of the hour 24 and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 438-443	If a physical is an instance of the stop of a process, then there exists another physical such that the other physical is an instance of the process and the time of existence of the physical finishes the time of existence of the other physical
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

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