No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3519-3530	Physique est une instance de Flickering interval temporel interval temporel, entit� and entit� interval temporel prend place pendant temps d'existence de physique la mesure de physique est entit� Lumen(s) pendant interval temporel interval temporel prend place pendant temps d'existence de physique la mesure de physique est entit� Lumen(s) pendant interval temporel interval temporel est interval temporel entit� est entit�
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 376-387	Physique est une instance de Gutrah physique a pour but entit� entit�, entit� and entit� entit� porte physique pendant entit� entit� est situ� � entit� pendant entit� hotSeasonInArea entit� and entit� entit� prend place pendant entit�
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 399-410	Physique est une instance de Shimagh physique a pour but entit� entit�, entit� and entit� entit� porte physique pendant entit� entit� est situ� � entit� pendant entit� coldSeasonInArea entit� and entit� entit� prend place pendant entit�
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 127-132	Interval temporel est une instance de Hajj interval temporel interval temporel est une instance de DhuAlHijjah interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Media.kif 635-640	Interval temporel est une instance de USThanksgivingDay interval temporel interval temporel est une instance de Novembre interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1854-1859	Interval temporel est une instance de BreakfastTime interval temporel interval temporel est une instance de Morning interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1884-1889	Interval temporel est une instance de DinnerTime interval temporel interval temporel est une instance de NightTime interval temporel prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1867-1876	Interval temporel est une instance de LunchTime interval temporel interval temporel and jour interval temporel prend place pendant l'intervale entre le d�but de interval temporel et la fin de interval temporel interval temporel est une instance de l' heure 11 interval temporel est une instance de l' heure 15
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 244-253	Interval temporel est une instance de UdhiyahRitual objet interval temporel and AutonomousAgent interval temporel est une instance de EidAladha interval temporel prend place pendant interval temporel Udhiyah est un attribut de objet interval temporel est un agent de AutonomousAgent Muslim est un attribut de AutonomousAgent objet est un patient de interval temporel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 91-101	Physique est une instance de Iftar interval temporel interval temporel and interval temporel interval temporel est une instance de Sunset interval temporel est une instance de Ramadan interval temporel est une instance de jour interval temporel prend place pendant interval temporel temps d'existence de physique prend place pendant interval temporel interval temporel prend place pendant interval temporel interval temporel se produit avant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 36-46	Physique est une instance de Suhur interval temporel interval temporel and interval temporel interval temporel est une instance de Sunrise interval temporel est une instance de Ramadan interval temporel est une instance de jour interval temporel prend place pendant interval temporel temps d'existence de physique prend place pendant interval temporel interval temporel prend place pendant interval temporel temps d'existence de physique se produit avant interval temporel
No TPTP formula. May not be expressible in strict first order.	Justice.kif 51-59	observedAtTimeInPlace objet, AutonomousAgent, interval temporel and objet processus processus est une instance de voir processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant interval temporel processus est situ� � objet objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2851	rainfallIntensity secteur g�ographique, interval temporel and function de quantit� transf�re collection, physique, objet en une partie, entit�, objet en une partie and transf�reFALL transf�re est une instance de Raining eventLocated transf�re and secteur g�ographique temps d'existence de transf�re prend place pendant interval temporel collection est une instance de collection objectTransferred transf�re and collection physique est une instance de eau physique est un membre de collection objet en une partie est une instance de Container l' arri�re de objet en une partie est objet en une partie Flat est un attribut de objet en une partie objet en une partie est situ� � secteur g�ographique ContainerEmpty est un attribut de objet en une partie pendant le d�but de interval temporel collection est situ� � objet en une partie le dessus de collection est entit� depth entit�, objet en une partie and transf�reFALL transf�reFALL est interval temporel + function de quantit� pendant la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3031-3058	snowfallIntensity secteur g�ographique, interval temporel and function de quantit� transf�re objet, objet en une partie, entit�, objet en une partie and entit� transf�re est une instance de Snowing eventLocated transf�re and secteur g�ographique temps d'existence de transf�re prend place pendant interval temporel objet est une instance de Snow objectTransferred transf�re and objet objet en une partie est une instance de BoardOrBlock l' arri�re de objet en une partie est objet en une partie Flat est un attribut de objet en une partie objet en une partie est situ� � secteur g�ographique entit� entit� est une instance de objet entit� est situ� � objet en une partie pendant le d�but de interval temporel objet est situ� � objet en une partie le dessus de objet est entit� depth entit�, objet en une partie and entit� entit� est interval temporel + function de quantit� pendant la fin de interval temporel
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	standardRetailHours interval temporel and AutonomousAgent processus entit�, entit�, nombre r�el and nombre r�el processus est une instance de financial transaction processus est un agent de AutonomousAgent entit� est une instance de interval temporel processus aboutit � entit� nombre r�el est probabilit� de temps d'existence de processus prend place pendant entit� customer entit� and AutonomousAgent nombre r�el est probabilit� de temps d'existence de processus ne prend %n{pas} place pendant entit� customer entit� and AutonomousAgent nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Dining.kif 373-382	standardRetailHours interval temporel and AutonomousAgent processus interval temporel and agent cognitif processus est une instance de vendre interval temporel est une instance de interval temporel processus est un agent de AutonomousAgent customer agent cognitif and AutonomousAgent temps d'existence de processus prend place pendant 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