Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 130-137	offersAtTime AutonomousAgent, Catalog and interval temporel catalogItem entit� and Catalog entit� est une sous-classe de processus interval temporel est une instance de interval temporel interval temporel est une sous-classe de interval temporel capabilityDuring entit�, agent, AutonomousAgent and interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Interval temporel est une instance de interval temporel_CLASS interval temporel_CLASS est une sous-classe de processus AccessingWebPage est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent interval temporel est un agent de AutonomousAgent AccessingWebPage est un agent de AutonomousAgent interval temporel prend place pendant AccessingWebPage physique est une instance de interval temporel interval temporel2 interval temporel2 est une instance de interval temporel_CLASS interval temporel2 est un agent de AutonomousAgent interval temporel2 prend place pendant AccessingWebPage le d�but de temps d'existence de interval temporel2 se produit avant le d�but de temps d'existence de interval temporel le d�but de temps d'existence de AccessingWebPage est d�but de temps d'existence de physique le d�but de temps d'existence de interval temporel est fin de temps d'existence de physique TTFxFn interval temporel_CLASS and AccessingWebPage est physique
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	offersAtTime AutonomousAgent, Catalog and interval temporel catalogItem entit� and Catalog entit� est une sous-classe de objet processus est une instance de processus processus est une sous-classe de processus entit� est une instance de entit� entit� est un patient de processus interval temporel est une instance de interval temporel interval temporel est une sous-classe de interval temporel capabilityDuring processus, agent, AutonomousAgent and interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2084-2084	Interval temporel est une sous-classe de position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14848-14848	Holiday est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19091-19091	AnteMeridiem est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19104-19104	PostMeridiem est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19118-19118	Weekend est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19131-19131	SeasonOfYear est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8738	Ann�e est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8765-8765	Decade est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8857-8857	DayTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8862	Sunrise est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8866-8866	Sunset est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8888-8888	NightTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8987-8987	QuarterYear est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9043-9043	Mois est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9230-9230	Jour est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9332-9332	Semaine est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9340-9340	Heure est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	Minute est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9360-9360	Seconde est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1849-1849	BreakfastTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1861-1861	LunchTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Food.kif 1878-1878	DinnerTime est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 26-26	Ramadan est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 112-112	DhuAlHijjah est une sous-classe de 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