No TPTP formula. May not be expressible in strict first order.	Merge.kif 17218-17224	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone eastern time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17194-17200	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone mountain time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17182-17188	If a time position is an instance of the hour a nonnegative integer and another time position is an instance of the hour another nonnegative integer and the time the time position in zone pacific time zone is equal to the other time position, then the other nonnegative integer is equal to (the nonnegative integer and 8)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8748-8753	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and (the other integer and the integer) is equal to 1, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8690-8697	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and a time point is equal to the beginning of the time interval and another time point is equal to the beginning of the other time interval and the other integer is greater than the integer, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8699-8704	If a time interval is an instance of the year an integer and another time interval is an instance of the year another integer and the other integer is greater than the integer, then the time interval happens earlier than 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