No TPTP formula. May not be expressible in strict first order.	Media.kif 317-322	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 advent sunday and the other time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 327-332	If a time interval is an instance of advent sunday, then there exists another time interval such that the other time interval is an instance of advent and the time interval starts the other time interval
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