No TPTP formula. May not be expressible in strict first order.	Merge.kif 17240-17246	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone EasternTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 5)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17216-17222	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone MountainTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17204-17210	Position temporel est une instance de l' heure nombre entier non n�gatif position temporel est une instance de l' heure nombre entier non n�gatif le temps position temporel dans la zone PacificTimeZone est position temporel nombre entier non n�gatif est nombre entier non n�gatif + 8)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8770-8775	Interval temporel est une instance de l' ann�e nombre entier interval temporel est une instance de l' ann�e nombre entier ( nombre entier + nombre entier) est interval temporel rencontre interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8712-8719	Interval temporel est une instance de l' ann�e nombre entier interval temporel est une instance de l' ann�e nombre entier point temporel est d�but de interval temporel point temporel est d�but de interval temporel nombre entier est plus grand que nombre entier point temporel se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8721-8726	Interval temporel est une instance de l' ann�e nombre entier interval temporel est une instance de l' ann�e nombre entier nombre entier est plus grand que nombre entier interval temporel arrive plus t�t que interval temporel

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