TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1785-1786
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2086-2089
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 398-401
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2084-2084	Interval temporel est une sous-classe de position temporel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7885-7885	BeforeCommonEra est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7893-7893	CommonEra est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2079-2079	Position temporel est compl�tement d�compos� en interval temporel + point temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3726-3726	Le domaine de FiscalYearStartingFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8512-8512	Le domaine de FutureFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8529-8529	Le domaine de ImmediateFutureFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8498-8498	Le domaine de ImmediatePastFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8480-8480	Le domaine de PastFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3749-3749	Le domaine de SiteSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1494-1494	Le domaine de TTFxFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8413-8413	Le domaine de TimeIntervalFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14038-14038	Le domaine de TimePeriodFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8469-8469	Le domaine de WhenFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3698-3698	Les valeurs retourn�es par FiscalYearFn sont des sous-classes de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8446-8446	Les valeurs retourn�es par RecurrentTimeIntervalFn sont des sous-classes de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9375-9375	Les valeurs retourn�es par TemporalCompositionFn sont des sous-classes 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.	Food.kif 1849-1849	BreakfastTime 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 8857-8857	DayTime 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.	ArabicCulture.kif 112-112	DhuAlHijjah 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.	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.	Merge.kif 9340-9340	Heure est une sous-classe de interval temporel

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7982-7982	Le nombre 1 argument de BeginFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 1048-1048	Le nombre 2 argument de ContestFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8010-8010	Le nombre 1 argument de EndFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3160-3160	Le nombre 2 argument de GPIFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2219	Le nombre 2 argument de Mean10MinutesWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2324	Le nombre 2 argument de Mean1MinuteWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2289	Le nombre 2 argument de Mean2MinutesWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2254	Le nombre 2 argument de Mean3MinutesWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1900-1900	Le nombre 2 argument de Mean3SecondWindSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1994-1994	Le nombre 2 argument de Mean3SecondWindSpeedListFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Music.kif 847-847	Le nombre 3 argument de MusicalInterpretationFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3086-3086	Le nombre 2 argument de PPIFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3660-3660	Le nombre 2 argument de SCRFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3364-3364	Le nombre 1 argument de SiteWideNewBuyersFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3416-3416	Le nombre 1 argument de SiteWideNewRegistrationsFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3463-3463	Le nombre 1 argument de SiteWideNewSellersFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9373-9373	Le nombre 1 argument de TemporalCompositionFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2034-2034	Le nombre 2 argument de ThreeSecondGustSpeedFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1956-1956	Le nombre 1 argument de TimeIntervalListFn est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14011-14011	Le nombre 2 argument de agreementPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 986-986	Le nombre 2 argument de averageTemperatureForPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10378-10378	Le nombre 2 argument de breathingRate est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4303-4303	Le nombre 2 argument de burnInPeriod est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 554-554	Le nombre 3 argument de compoundInterest est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20803-20803	Le nombre 2 argument de constructionPeriod est une instance de interval temporel

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	Expellee est un attribut de entit� entit� est un citoyen de entit�-NATION pendant position temporel position temporel est une instance de interval temporel processus objet objet est une instance de nation objet est entit�-NATION processus est une instance de Translocation processus a pour origine objet entit� est un patient de processus processus aboutit � entit�-NATION position temporel est une partie de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	Evacuee est un attribut de AutonomousAgent pendant interval temporel interval temporel est une instance de interval temporel processus AutonomousAgent processus est une instance de Evacuation processus est un agent de AutonomousAgent AutonomousAgent est une instance de MilitaryOrganization AutonomousAgent exp�rimente processus temps d'existence de processus arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	InternallyDisplacedPerson est un attribut de entit� pendant interval temporel interval temporel est une instance de interval temporel entit� interval temporel interval temporel arrive plus t�t que interval temporel causesProposition fears entit� and entit� pendant interval temporel and InternallyDisplacedPerson est un attribut de entit� pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7972-7982	spouse entit� and entit� pendant interval temporel interval temporel est une instance de interval temporel processus processus est une instance de Wedding entit� est un patient de processus entit� est un patient de processus temps d'existence de processus arrive plus t�t que interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3836-3843	Formule pendant interval temporel formule pendant interval temporel interval temporel est une instance de interval temporel interval temporel est une instance de interval temporel causesProposition formule and formule le d�but de interval temporel se produit avant ou pendant le d�but de interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage est une instance de AccessingWebPage entit� est une instance de WebPage processus est une instance de DataTransfer objet est une instance de Server processus est une instance de demander AutonomousAgent est une instance de WebBrowser interval temporel est une instance de interval temporel entit� est un patient de AccessingWebPage processus est un agent de AutonomousAgent processus aboutit � objet entit� est un patient de processus processus a pour origine objet processus aboutit � AutonomousAgent entit� est un patient de processus processus est un sous-processus de AccessingWebPage processus est un sous-processus de AccessingWebPage la fin de temps d'existence de processus est d�but de interval temporel la fin de temps d'existence de processus est fin de interval temporel SiteSpeedFn AccessingWebPage est interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	Experimenting est une instance de Experimenting interval temporel est une instance de interval temporel le nombre d' instances dans la classe d�crite par cha�ne sympbolique + le nombre d' instances dans la classe d�crite par cha�ne sympbolique est PPIFn Experimenting and interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	Experimenting est une instance de Experimenting entit� est une instance de interval temporel le nombre d' instances dans la classe d�crite par cha�ne sympbolique + le nombre d' instances dans la classe d�crite par cha�ne sympbolique est PPSFn Experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	Confiner est une instance de Imprisoning detainee confiner and animal animal est une instance de humain confiner existe pendant interval temporel interval temporel est une instance de interval temporel PlacingUnderArrest interval temporel interval temporel est une instance de interval temporel PlacingUnderArrest existe pendant interval temporel interval temporel arrive plus t�t que interval temporel PlacingUnderArrest est une instance de PlacingUnderArrest arrested PlacingUnderArrest and animal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de acheter interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de acheter interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewBuyersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection physique physique est une instance de humain interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel_BEFORE interval temporel_DURING interval temporel_DURING est une instance de interval temporel interval temporel_DURING prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel physique est un membre de collection collection est SiteWideNewRegistrationsFn interval temporel and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de vendre interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de vendre interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewSellersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8354-8364	Interval temporel est une instance de interval temporel interval temporel est une instance de interval temporel le d�but de interval temporel est d�but de interval temporel la fin de interval temporel est fin de interval temporel interval temporel est interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8242-8247	Position temporel est une instance de interval temporel position temporel est une partie de interval temporel position temporel est une partie de interval temporel interval temporel recouvre interval temporel
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	Processus est une instance de MeasuringBreathing processus est un agent de AutonomousAgent objet est une instance de Lung objet est une partie de objet interval temporel est une instance de interval temporel interval temporel prend place pendant temps d'existence de processus la dur�� de interval temporel est MinuteDuration objet est un patient de processus entit� AutonomousAgent conna�t breathingRate objet, interval temporel and entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8420-8428	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est une instance de interval temporel l'intervale entre point temporel et point temporel est interval temporel le d�but de interval temporel est point temporel la fin de interval temporel est point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8430-8439	Point temporel est une instance de point temporel point temporel est une instance de point temporel interval temporel est une instance de interval temporel l'intervale entre point temporel et point temporel est interval temporel point temporel point temporel est entre ou pendant point temporel et point temporel point temporel est une partie de 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.	Merge.kif 8262-8267	Interval temporel est une instance de interval temporel point temporel est d�but de interval temporel point temporel est fin de interval temporel point temporel se produit avant point temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8269-8279	Interval temporel est une instance de interval temporel interval temporel est une instance de interval temporel le d�but de interval temporel se produit avant ou pendant le d�but de interval temporel le d�but de interval temporel se produit avant la fin de interval temporel interval temporel recouvre interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and LowIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est moins que 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and LowerMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est plus grand ou �gal � 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and LowerMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est moins que 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	Interval temporel est une instance de interval temporel economyType secteur g�opolitique and UpperMiddleIncomeCountry pendant interval temporel nombre r�el perCapitaGDPInPeriod secteur g�opolitique, nombre r�el UnitedStatesDollar(s) and interval temporel nombre r�el est plus grand ou �gal � 2996.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	DislocatedCivilian est un attribut de entit� entit� vie � entit� entit� est situ� � secteur g�ographique pendant interval temporel secteur g�ographique est une instance de secteur g�ographique interval temporel est une instance de interval temporel interval temporel entit�-PLACE and entit�-RES interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel entit�-RES est une instance de objet entit�-PLACE est une instance de secteur g�opolitique entit�-RES est situ� � entit�-PLACE secteur g�ographique est entit�-PLACE entit� est entit�-RES geographicSubregion secteur g�ographique and entit�-PLACE geographicSubregion entit�-PLACE and secteur g�ographique entit� vie � entit�-RES pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Interval temporel est une instance de AddToCart entit� est une instance de objet entit� est un patient de interval temporel interval temporel est un agent de AutonomousAgent collection WebSite, position temporel and interval temporel collection est une instance de collection WebSite est une instance de WebSite interval temporel est une instance de interval temporel webcart AutonomousAgent, collection and WebSite le d�but de interval temporel est fin de interval temporel entit� est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 643-661	Processus est une instance de FlashingLight processus a pour origine objet processus interval temporel and processus processus est une instance de lumi�re irradiante interval temporel est une instance de interval temporel processus est une instance de lumi�re irradiante temps d'existence de processus rencontre interval temporel interval temporel rencontre temps d'existence de processus interval temporel interval temporel est une instance de lumi�re irradiante interval temporel a pour origine objet temps d'existence de interval temporel prend place pendant interval temporel processus est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23513-23526	Confiner est une instance de Imprisoning detainee confiner and animal animal est une instance de humain confiner existe pendant interval temporel interval temporel est une instance de interval temporel PlacingUnderArrest interval temporel interval temporel est une instance de interval temporel PlacingUnderArrest existe pendant interval temporel interval temporel arrive plus t�t que interval temporel PlacingUnderArrest est une instance de PlacingUnderArrest arrested PlacingUnderArrest and animal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de acheter interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de acheter interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewBuyersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection physique physique est une instance de humain interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel_BEFORE interval temporel_DURING interval temporel_DURING est une instance de interval temporel interval temporel_DURING prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel physique est un membre de collection collection est SiteWideNewRegistrationsFn interval temporel and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	Interval temporel est une instance de interval temporel WebSite est une instance de WebSite collection collection est une instance de collection AutonomousAgent AutonomousAgent est un membre de collection interval temporel AutonomousAgent est une instance de AutonomousAgent interval temporel est une instance de vendre interval temporel est un agent de AutonomousAgent WebSite est un instrument pour interval temporel interval temporel prend place pendant interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de interval temporel interval temporel_BEFORE arrive plus t�t que interval temporel interval temporel_BEFORE interval temporel_BEFORE est une instance de vendre interval temporel_BEFORE est un agent de AutonomousAgent WebSite est un instrument pour interval temporel_BEFORE interval temporel_BEFORE prend place pendant interval temporel pendant interval temporel_BEFORE SiteWideNewSellersFn interval temporel and WebSite est collection
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1929-1933	Liste est une instance de ConsecutiveTimeIntervalList entit� est un membre de liste entit� est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	Collection est une instance de organisation WarehousingAndStorage est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif entit� AutonomousAgent est une instance de vendre entit� est une instance de objet agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� entit� est une instance de interval temporel entit� est une instance de immeuble agent cognitif poss�de entit� entit� est situ� � entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	Objet est une instance de Saw processus est une instance de couper objet est un instrument pour processus objet est une instance de objet objet est un patient de processus processus entit�, entit�, interval temporel, position temporel, position temporel and objet processus est une instance de d�palcement processus est un sous-processus de processus objet est une instance de CuttingDevice objet est une partie de objet objet rencontre objet objet est un patient de processus position temporel est une instance de interval temporel position temporel est une instance de interval temporel temps d'existence de processus est interval temporel interval temporel est une partie de position temporel interval temporel est une partie de position temporel entit� est une instance de attribut directionnel entit� est une instance de attribut directionnel les entit�es dans le processus processus bougent entit� pendant position temporel les entit�es dans le processus processus bougent entit� entit� est entit� oppositeDirection entit� and entit� ~{ entit� est entit� } ~{ oppositeDirection entit� and entit� } pendant position temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	Interval temporel est une instance de WatchItem entit� est une instance de objet entit� est un patient de interval temporel interval temporel est un agent de AutonomousAgent collection WebSite, position temporel and interval temporel collection est une instance de collection WebSite est une instance de WebSite interval temporel est une instance de interval temporel watchingListings AutonomousAgent, collection and WebSite le d�but de interval temporel est fin de interval temporel entit� est un membre de collection pendant position temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	newRegisteredUsers interval temporel, WebSite and collection physique est un membre de collection interval temporel interval temporel est une instance de interval temporel interval temporel prend place pendant interval temporel registeredUser physique and WebSite pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	newRegisteredUsers interval temporel, WebSite and collection physique est un membre de collection interval temporel interval temporel est une instance de interval temporel interval temporel arrive plus t�t que interval temporel registeredUser physique and WebSite pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2808-2820	Agreement a un attribute EuropeanStyleOption agreementExpirationDate Agreement and point temporel interval temporel interval temporel and physique interval temporel est une instance de interval temporel la fin de interval temporel est point temporel physique est une instance de ExerciseAnOption temps d'existence de physique est interval temporel interval temporel est une partie de interval temporel
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice physique, function de quantit�, agent cognitif and PricingScheme function de quantit� est PerFn mesure de devise and la mesure de nombre r�el est unit� de mesure unit� de mesure est une instance de UnitOfDuration entit� est une instance imm�diate de physique processus est une instance de Renting entit� est un patient de processus processus est un agent de AutonomousAgent processus existe pendant nombre r�elINT interval temporel nombre r�el nombre r�elINT prend place pendant interval temporel interval temporel est une instance de interval temporel la dur�� de interval temporel est nombre r�el unit� de mesure(s) nombre r�el est plus petit ou �gal � nombre r�el financial transaction financial transaction est une instance de Payment financial transaction aboutit � agent cognitif financial transaction est un agent de AutonomousAgent transactionAmount financial transaction and mesure de devise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14376-14382	Entit� vie � entit� pendant position temporel position temporel position temporel est une instance de interval temporel position temporel est une partie de position temporel entit� est situ� � entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22334-22346	Physique est une instance de Convoy entit� entit� and position temporel entit� est entit� entit� est une instance de Vehicle entit� est une instance de Vehicle position temporel est une instance de interval temporel position temporel est une partie de temps d'existence de physique entit� est un membre de physique entit� est un membre de physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17323-17345	Processus est une instance de Disappearing entit� AutonomousAgent, processus and position temporel processus est une instance de Searching temps d'existence de processus arrive plus t�t que temps d'existence de processus processus est un agent de AutonomousAgent entit� est une instance de objet entit� est un patient de processus entit� est un patient de processus position temporel est une instance de interval temporel position temporel est une partie de temps d'existence de processus l'argument processusISC processusISC est une instance de Discovering processusISC est un agent de AutonomousAgent entit� est un patient de processusISC n' %n{pas} la force modale de Possibility pendant position temporel
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	Interval temporel est une instance de ListOnSite objet entit�, interval temporel, interval temporel and AutonomousAgent objet est une instance de WebSite entit� est une instance de WebListing interval temporel est une instance de interval temporel interval temporel est une instance de interval temporel entit� est un patient de interval temporel la fin de interval temporel est fin de interval temporel interval temporel arrive plus t�t que interval temporel interval temporel rencontre interval temporel hostedOn entit� and objet pendant interval temporel hostedOn entit� and objet pendant interval temporel interval temporel est un agent de AutonomousAgent AutonomousAgent poss�de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7940-7945	Position temporel est une instance de point temporel position temporel position temporel est une instance de interval temporel position temporel est une partie de position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8345-8352	Interval temporel rencontre interval temporel position temporel position temporel est une instance de interval temporel position temporel est une partie de interval temporel position temporel est une partie de interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8240	Interval temporel recouvre interval temporel position temporel position temporel est une instance de interval temporel position temporel est une partie de interval temporel position temporel est une partie de interval temporel

statement

No TPTP formula. May not be expressible in strict first order.

Media.kif 1970-1978

Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit�

entit� est un membre de TwelveApostles pendant interval temporel
friend entit� and JesusOfNazareth pendant interval temporel

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: