TimeInterval - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__TimeInterval,s__ChineseLanguage,'这是一个时段。注： TimeInterval 在通用时间轴上皆有范围和位置；另外 TimeInterval 是没有间隙的，即这个类别只含凸时间间隔。')	Merge.kif 2172-2173
s__documentation(s__TimeInterval,s__EnglishLanguage,'An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.')	Merge.kif 2168-2171
s__subclass(s__TimeInterval,s__TimePosition)	Merge.kif 2167-2167	Time interval is a subclass of time position

appearance as argument number 2

s__instance(s__BeforeCommonEra,s__TimeInterval)	Mid-level-ontology.kif 7585-7585	Before common era is an instance of time interval
s__instance(s__CommonEra,s__TimeInterval)	Mid-level-ontology.kif 7593-7593	Common era is an instance of time interval
s__partition_3(s__TimePosition,s__TimeInterval,s__TimePoint)	Merge.kif 2160-2160	Time position is exhaustively partitioned into time interval and time point
s__range(s__FiscalYearStartingFn__m,s__TimeInterval)	Economy.kif 3727-3727	The range of fiscal year starting is an instance of time interval
s__range(s__FutureFn__m,s__TimeInterval)	Merge.kif 8602-8602	The range of future is an instance of time interval
s__range(s__ImmediateFutureFn__m,s__TimeInterval)	Merge.kif 8620-8620	The range of immediate future is an instance of time interval
s__range(s__ImmediatePastFn__m,s__TimeInterval)	Merge.kif 8587-8587	The range of immediate past is an instance of time interval
s__range(s__PastFn__m,s__TimeInterval)	Merge.kif 8568-8568	The range of past is an instance of time interval
s__range(s__SiteSpeedFn__m,s__TimeInterval)	UXExperimentalTerms.kif 3944-3944	The range of site speed is an instance of time interval
s__range(s__TTFxFn__m,s__TimeInterval)	UXExperimentalTerms.kif 1701-1701	The range of TTFx is an instance of time interval
s__range(s__TimeIntervalFn__m,s__TimeInterval)	Merge.kif 8494-8494	The range of time interval is an instance of time interval
s__range(s__TimePeriodFn__m,s__TimeInterval)	Mid-level-ontology.kif 11641-11641	The range of time period function is an instance of time interval
s__range(s__WhenFn__m,s__TimeInterval)	Merge.kif 8555-8555	The range of when is an instance of time interval
s__rangeSubclass(s__FiscalYearFn__m,s__TimeInterval)	Economy.kif 3701-3701	The values returned by fiscal year are subclasses of time interval
s__rangeSubclass(s__RecurrentTimeIntervalFn__m,s__TimeInterval)	Merge.kif 8529-8529	The values returned by recurrent time interval are subclasses of time interval
s__rangeSubclass(s__TemporalCompositionFn__m,s__TimeInterval)	Merge.kif 9345-9345	The values returned by temporal composition are subclasses of time interval
s__subclass(s__AnteMeridiem,s__TimeInterval)	Mid-level-ontology.kif 16823-16823	Ante meridiem is a subclass of time interval
s__subclass(s__BreakfastTime,s__TimeInterval)	Food.kif 244-244	Breakfast time is a subclass of time interval
s__instance(s__Day,s__SetOrClass)	Merge.kif 9199-9199	Day is a subclass of time interval
s__subclass(s__DayTime,s__TimeInterval)	Mid-level-ontology.kif 16789-16789	Day time is a subclass of time interval
s__instance(s__Decade,s__SetOrClass)	Merge.kif 8869-8869	Decade is a subclass of time interval
s__instance(s__DhuAlHijjah,s__SetOrClass)	ArabicCulture.kif 103-103	Dhu al hijjah is a subclass of time interval
s__instance(s__DinnerTime,s__SetOrClass)	Food.kif 273-273	Dinner time is a subclass of time interval
s__instance(s__Holiday,s__SetOrClass)	Mid-level-ontology.kif 12552-12552	Holiday is a subclass of time interval
s__subclass(s__Hour,s__TimeInterval)	Merge.kif 9310-9310	Hour is a subclass of time interval

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

s__domain(s__BeginFn__m,1,s__TimeInterval)	Merge.kif 8176-8176	The number 1 argument of begin is an instance of time interval
s__domain(s__EndFn__m,1,s__TimeInterval)	Merge.kif 8200-8200	The number 1 argument of end is an instance of time interval
s__domain(s__GPIFn__m,2,s__TimeInterval)	UXExperimentalTerms.kif 3364-3364	The number 2 argument of GPW is an instance of time interval
s__domain(s__MusicalInterpretationFn__m,3,s__TimeInterval)	Music.kif 849-849	The number 3 argument of musical interpretation is an instance of time interval
s__domain(s__PPIFn__m,2,s__TimeInterval)	UXExperimentalTerms.kif 3290-3290	The number 2 argument of qualifying purchases per user per interval is an instance of time interval
s__domain(s__SCRFn__m,2,s__TimeInterval)	UXExperimentalTerms.kif 3856-3856	The number 2 argument of sales conversion rate is an instance of time interval
s__domain(s__SiteWideNewBuyersFn__m,1,s__TimeInterval)	UXExperimentalTerms.kif 3558-3558	The number 1 argument of new buyers is an instance of time interval
s__domain(s__SiteWideNewRegistrationsFn__m,1,s__TimeInterval)	UXExperimentalTerms.kif 3611-3611	The number 1 argument of site-wide new registrations is an instance of time interval
s__domain(s__SiteWideNewSellersFn__m,1,s__TimeInterval)	UXExperimentalTerms.kif 3658-3658	The number 1 argument of site-wide new sellers is an instance of time interval
s__domain(s__TemporalCompositionFn__m,1,s__TimeInterval)	Merge.kif 9343-9343	The number 1 argument of temporal composition is an instance of time interval
s__domain(s__agreementPeriod__m,2,s__TimeInterval)	Mid-level-ontology.kif 11614-11614	The number 2 argument of agreement period is an instance of time interval
s__domain(s__anniversary__m,2,s__TimeInterval)	Mid-level-ontology.kif 21911-21911	The number 2 argument of anniversary is an instance of time interval
s__domain(s__burnInPeriod__m,2,s__TimeInterval)	UXExperimentalTerms.kif 4498-4498	The number 2 argument of burn-in period is an instance of time interval
s__domain(s__compoundInterest__m,3,s__TimeInterval)	FinancialOntology.kif 526-526	The number 3 argument of compound interest is an instance of time interval
s__domain(s__constructionPeriod__m,2,s__TimeInterval)	Mid-level-ontology.kif 18398-18398	The number 2 argument of construction period is an instance of time interval
s__domain(s__creditsPerPeriod__m,3,s__TimeInterval)	FinancialOntology.kif 3707-3707	The number 3 argument of credits per period is an instance of time interval
s__domain(s__daylightHoursInterval__m,3,s__TimeInterval)	Weather.kif 464-464	The number 3 argument of daylight hours interval is an instance of time interval
s__domain(s__duration__m,1,s__TimeInterval)	Merge.kif 8096-8096	The number 1 argument of duration is an instance of time interval
s__domain(s__during__m,1,s__TimeInterval)	Merge.kif 8410-8410	The number 1 argument of during is an instance of time interval
s__domain(s__during__m,2,s__TimeInterval)	Merge.kif 8411-8411	The number 2 argument of during is an instance of time interval
s__domain(s__earlier__m,1,s__TimeInterval)	Merge.kif 8457-8457	The number 1 argument of earlier is an instance of time interval
s__domain(s__earlier__m,2,s__TimeInterval)	Merge.kif 8458-8458	The number 2 argument of earlier is an instance of time interval
s__domain(s__employeeContribution__m,3,s__TimeInterval)	FinancialOntology.kif 3241-3241	The number 3 argument of employee contribution is an instance of time interval
s__domain(s__finishes__m,1,s__TimeInterval)	Merge.kif 8252-8252	The number 1 argument of finishes is an instance of time interval
s__domain(s__finishes__m,2,s__TimeInterval)	Merge.kif 8253-8253	The number 2 argument of finishes is an instance of time interval

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	If expellee is an attribute of a human and the human is a citizen of an entity-NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and the object is not equal to the entity-NATION and the process is an instance of translocation and the process originates at the object and the human is a patient of the process and the process ends up at the entity-NATION and the time position is a part of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an organism and the organism lives in an object and the object is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, an entity-PLACE and the entity-RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the entity-RES is an instance of object and the entity-PLACE is an instance of geopolitical area and the entity-RES is located at the entity-PLACE and the geographic area is not equal to the entity-PLACE and the object is not equal to the entity-RES and the geographic area is not a geographic subregion of the entity-PLACE and the entity-PLACE is not a geographic subregion of the geographic area and the organism lives in the entity-RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	If evacuee is an attribute of an agent holds during a time interval and the time interval is an instance of time interval, then there exist a process and another agent such that the process is an instance of evacuation and the other agent is an agent of the process and the other agent is an instance of military organization and the agent experiences the process and the time of existence of the process happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of a cognitive agent holds during a time interval and the time interval is an instance of time interval, then there exists an entity such that another time interval happens earlier than the time interval and internally displaced person is an attribute of the cognitive agent holds during the time interval is a causes proposition of the cognitive agent fears the entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7656-7666	If a human is the spouse of another human holds during a time interval and the time interval is an instance of time interval, then there exists a process such that the process is an instance of wedding and the human is a patient of the process and the other human is a patient of the process and the time of existence of the process happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3947-3954	If a formula holds during a time interval and another formula holds during another time interval and the other time interval is an instance of time interval and the time interval is an instance of time interval and the formula is a causes proposition of the other formula, then the beginning of the other time interval happen%{s} before or at the beginning of the time interval
( ! [V__ACCESSING,V__PAGE,V__TRANSFER,V__SERVER,V__REQUESTING,V__BROWSER,V__INTERVAL] : ((s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__PAGE,s__WebPage) & s__instance(V__TRANSFER,s__DataTransfer) & s__instance(V__SERVER,s__Server) & s__instance(V__REQUESTING,s__Requesting) & s__instance(V__BROWSER,s__WebBrowser) & s__instance(V__INTERVAL,s__TimeInterval) & s__patient(V__ACCESSING,V__PAGE) & s__agent(V__REQUESTING,V__BROWSER) & s__destination(V__REQUESTING,V__SERVER) & s__patient(V__REQUESTING,V__PAGE) & s__origin(V__TRANSFER,V__SERVER) & s__destination(V__TRANSFER,V__BROWSER) & s__patient(V__TRANSFER,V__PAGE) & s__subProcess(V__TRANSFER,V__ACCESSING) & s__subProcess(V__REQUESTING,V__ACCESSING) & (s__EndFn(s__WhenFn(V__REQUESTING)) = s__BeginFn(V__INTERVAL)) & (s__EndFn(s__WhenFn(V__TRANSFER)) = s__EndFn(V__INTERVAL))) => (s__SiteSpeedFn(V__ACCESSING) = V__INTERVAL)) )	UXExperimentalTerms.kif 3954-3979	If a process is an instance of AccessingWebPage and an entity is an instance of WebPage and another process is an instance of data transfer and an object is an instance of server and a third process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the process and the agent is an agent of the third process and the third process ends up at the object and the entity is a patient of the third process and the other process originates at the object and the other process ends up at the agent and the entity is a patient of the other process and the other process is a subprocess of the process and the third process is a subprocess of the process and the end of the time of existence of the third process is equal to the beginning of the time interval and the end of the time of existence of the other process is equal to the end of the time interval, then the time to access in the process is equal to the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3299-3318	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by an object and the number of instances in the class described by an agent is equal to purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3260-3277	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then the number of instances in the class described by an object and the number of instances in the class described by an agent is equal to purchases per user in the experimenting
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 115-129	If an object is an instance of human and a process is an instance of awarding a degree and the honorary degree in a field of study from a human is a patient of the process and the process ends up at the object and the human is an agent of the process and there exists an entity such that the entity is an instance of time interval, then the statement the human attends a demonstrating holds during the entity doesn't have the modal force of necessity and the statement student is an attribute of the object has the modal force of unlikely
( ! [V__IMPRISON,V__AGENT,V__INTERVAL] : ((s__instance(V__IMPRISON,s__Imprisoning) & s__detainee(V__IMPRISON,V__AGENT) & s__instance(V__AGENT,s__Human) & s__time(V__IMPRISON,V__INTERVAL) & s__instance(V__INTERVAL,s__TimeInterval)) => (? [V__ARREST,V__TIME] : (s__instance(V__TIME,s__TimeInterval) & s__time(V__ARREST,V__TIME) & s__earlier(V__TIME,V__INTERVAL) & s__instance(V__ARREST,s__PlacingUnderArrest) & s__arrested(V__ARREST,V__AGENT)))) )	Mid-level-ontology.kif 21393-21406	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3570-3603	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and an entity is an instance of time interval and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new buyers at the WebSite during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3650	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the agent is a registered user of the WebSite holds during the time interval_BEFORE and there exists the time interval_DURING such that an entity_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the agent is a registered user of the WebSite holds during the time interval, then the agent is a member of the collection and the collection is equal to new registrations at the WebSite during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3670-3703	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and an entity is an instance of time interval and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new sellers at the WebSite during the time interval is equal to the collection
( ! [V__POINT1,V__POINT2,V__INTERVAL] : ((s__instance(V__POINT1,s__TimePoint) & s__instance(V__POINT2,s__TimePoint) & s__instance(V__INTERVAL,s__TimeInterval) & (s__TimeIntervalFn(V__POINT1,V__POINT2) = V__INTERVAL)) => ((s__BeginFn(V__INTERVAL) = V__POINT1) & (s__EndFn(V__INTERVAL) = V__POINT2))) )	Merge.kif 8503-8511	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then the beginning of the time interval is equal to the time point and the end of the time interval is equal to the other time point
( ! [V__POINT1,V__POINT2,V__INTERVAL] : ((s__instance(V__POINT1,s__TimePoint) & s__instance(V__POINT2,s__TimePoint) & s__instance(V__INTERVAL,s__TimeInterval) & (s__TimeIntervalFn(V__POINT1,V__POINT2) = V__INTERVAL)) => (! [V__POINT] : (s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2) <=> s__temporalPart(V__POINT,V__INTERVAL)))) )	Merge.kif 8513-8522	If a time point is an instance of time point and another time point is an instance of time point and a time interval is an instance of time interval and interval between the time point and the other time point is equal to the time interval, then for all a third time point the third time point is between or at the time point and the other time point if and only if the third time point is a part of the time interval
( ! [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] : ((s__instance(V__PROCESS,V__PROCESS_CLASS) & s__subclass(V__PROCESS_CLASS,s__Process) & s__instance(V__ACCESSING,s__AccessingWebPage) & s__instance(V__AGENT,s__Agent) & s__agent(V__PROCESS,V__AGENT) & s__agent(V__ACCESSING,V__AGENT) & s__during(V__PROCESS,V__ACCESSING) & s__instance(V__TIMETOFIRST,s__TimeInterval) & (~ (? [V__PROCESS2] : (s__instance(V__PROCESS2,V__PROCESS_CLASS) & s__agent(V__PROCESS2,V__AGENT) & s__during(V__PROCESS2,V__ACCESSING) & s__before(s__BeginFn(s__WhenFn(V__PROCESS2)) ,s__BeginFn(s__WhenFn(V__PROCESS)))))) & (s__BeginFn(s__WhenFn(V__ACCESSING)) = s__BeginFn(s__WhenFn(V__TIMETOFIRST))) & (s__BeginFn(s__WhenFn(V__PROCESS)) = s__EndFn(s__WhenFn(V__TIMETOFIRST)))) => (s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING) = V__TIMETOFIRST)) )	UXExperimentalTerms.kif 1703-1725	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an AccessingWebPage is an instance of AccessingWebPage and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the AccessingWebPage and the time interval takes place during the AccessingWebPage and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the AccessingWebPage and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the AccessingWebPage is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the AccessingWebPage in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 263-274	If a demonstrating is an instance of student and a process is an instance of awarding a degree and the process ends up at the demonstrating and the associates degree in a field of study from a human is a patient of the process and the human is an agent of the process and there exists a physical quantity such that the physical quantity is an instance of time interval and the human attends the demonstrating holds during the physical quantity, then the statement the physical quantity is equal to 2 year duration(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 291-303	If a demonstrating is an instance of student and a process is an instance of awarding a degree and the process ends up at the demonstrating and the degree in a field of study from the demonstratingCHOOL is a patient of the process and the demonstratingCHOOL is an agent of the process and there exists a physical quantity such that the physical quantity is an instance of time interval and the demonstratingCHOOL attends the demonstrating holds during the physical quantity, then the statement the physical quantity is equal to 4 year duration(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 390-404	If a demonstrating is an instance of student and a process is an instance of awarding a degree and the process ends up at the demonstrating and a doctorate in a field of study from a graduate school is a patient of the process and the graduate school is an agent of the process and there exists a quantity such that the quantity is an instance of time interval and the demonstratingCHOOL attends the demonstrating holds during the quantity, then 9 year duration(s) is greater than the quantity and the quantity is greater than 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 335-347	If a demonstrating is an instance of student and a process is an instance of awarding a degree and the process ends up at the demonstrating and a masters degree in a field of study from a graduate school is a patient of the process and the graduate school is an agent of the process and there exists a physical quantity such that the physical quantity is an instance of time interval and the demonstratingCHOOL attends the demonstrating holds during the physical quantity, then the statement the physical quantity is equal to 2 year duration(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	LinkedInDegrees.kif 236-246	If a demonstrating is an instance of student and a process is an instance of awarding a degree and the process ends up at the demonstrating and a degree in a field of study from the demonstratingCHOOL is a patient of the process and the demonstratingCHOOL is an agent of the process and there exists an entity such that the entity is an instance of time interval, then the demonstratingCHOOL attends the demonstrating holds during the entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-446	If a kind of time interval is an instance of time interval and low income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is less than 756
No TPTP formula. May not be expressible in strict first order.	Economy.kif 455-461	If a kind of time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is greater than or equal to 756
No TPTP formula. May not be expressible in strict first order.	Economy.kif 463-469	If a kind of time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during a kind of time interval, then the geopolitical area per capitaGDP in period a real number united states dollar(s) for the kind of time interval and the real number is less than 2996

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

( ! [V__INTERVAL1,V__INTERVAL2] : (s__overlapsTemporally(V__INTERVAL1,V__INTERVAL2) <=> (? [V__INTERVAL3] : (s__instance(V__INTERVAL3,s__TimeInterval) & s__temporalPart(V__INTERVAL3,V__INTERVAL1) & s__temporalPart(V__INTERVAL3,V__INTERVAL2)))) )	Merge.kif 8388-8394	A time interval overlaps another time interval if and only if there exists a time position such that the time position is an instance of time interval and the time position is a part of the other time interval and the time position is a part of the time interval
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an organism and the organism lives in an object and the object is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, an entity-PLACE and the entity-RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the entity-RES is an instance of object and the entity-PLACE is an instance of geopolitical area and the entity-RES is located at the entity-PLACE and the geographic area is not equal to the entity-PLACE and the object is not equal to the entity-RES and the geographic area is not a geographic subregion of the entity-PLACE and the entity-PLACE is not a geographic subregion of the geographic area and the organism lives in the entity-RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1523-1539	If a time interval is an instance of add to cart and an object is an instance of object and the object is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and an entity such that the collection is an instance of collection and the WebSite is an instance of Website and another time interval is an instance of time interval and user the agent at the WebSite has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the object is a member of the collection holds during the entity
( ! [V__IMPRISON,V__AGENT,V__INTERVAL] : ((s__instance(V__IMPRISON,s__Imprisoning) & s__detainee(V__IMPRISON,V__AGENT) & s__instance(V__AGENT,s__Human) & s__time(V__IMPRISON,V__INTERVAL) & s__instance(V__INTERVAL,s__TimeInterval)) => (? [V__ARREST,V__TIME] : (s__instance(V__TIME,s__TimeInterval) & s__time(V__ARREST,V__TIME) & s__earlier(V__TIME,V__INTERVAL) & s__instance(V__ARREST,s__PlacingUnderArrest) & s__arrested(V__ARREST,V__AGENT)))) )	Mid-level-ontology.kif 21393-21406	If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval, then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3570-3603	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and an entity is an instance of time interval and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new buyers at the WebSite during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3623-3650	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the agent is a registered user of the WebSite holds during the time interval_BEFORE and there exists the time interval_DURING such that an entity_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the agent is a registered user of the WebSite holds during the time interval, then the agent is a member of the collection and the collection is equal to new registrations at the WebSite during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3670-3703	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and an entity is an instance of time interval and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new sellers at the WebSite during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	naics.kif 8701-8722	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist another agent and another object such that the agent is an instance of selling and the other object is an instance of object and the other agent is an instance of human and the other agent is a patient of the agent and the object allows the other agent to perform task of the type there exist a physical and an entity such that the entity is an instance of time interval and the physical is an instance of building and the other agent possesses the other object and the physical is located at the other object holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 159-171	If an object is an instance of OrganismRemains and another object is a part of the object holds during an entity, then there exist a third object and a time interval such that the third object is an instance of organism and the time of existence of the third object happens earlier than the time of existence of the object and the time interval is an instance of time interval and the time interval finishes the time of existence of the third object and the other object is a part of the third object holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15813-15847	If an object is an instance of saw and a process is an instance of cutting and the object is an instrument for the process and another object is an instance of object and the other object is a patient of the process, then there exist another process, a positional attribute,, , another positional attribute,, , a time interval,, , a time position,, , another time position and a third object such that the other process is an instance of motion and the other process is a subprocess of the process and the third object is an instance of cutting device and the third object is a part of the object and the third object meets the other object and the third object is a patient of the other process and the other time position is an instance of time interval and the other time position is an instance of time interval and the time of existence of the other process is equal to the time interval and the time interval is a part of the time position and the time interval is a part of the other time position and the positional attribute is an instance of directional attribute and the other positional attribute is an instance of directional attribute and if entities in the process the other process are moving the positional attribute holds during the time position, then entities in the process the other process are moving the other positional attribute and the positional attribute is equal to the other positional attribute or the other positional attribute is an opposite direction of the positional attribute and ~{ the positional attribute is equal to the other positional attribute } or ~{ the other positional attribute is an opposite direction of the positional attribute } holds during the other time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1811-1827	If a time interval is an instance of watch item and an object is an instance of object and the object is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and an entity such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent on the WebSite is watching the collection and the beginning of the other time interval is equal to the end of the time interval and the object is a member of the collection holds during the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3825-3834	If members of a collection have registered for a WebSite during a time interval and an agent is a member of the collection, then there exists another time interval such that the other time interval is an instance of time interval and the other time interval takes place during the time interval1 and the agent is a registered user of the WebSite holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3836-3846	If members of a collection have registered for a WebSite during a time interval and an agent is a member of the collection, then there doesn't exist another time interval such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the agent is a registered user of the WebSite holds during the other time interval
( ! [V__Option,V__Date,V__Exercise] : ((s__property(V__Option,s__EuropeanStyleOption) & s__agreementExpirationDate(V__Option,V__Date)) => (? [V__Period,V__Time] : (s__instance(V__Period,s__TimeInterval) & s__finishes(V__Period,V__Date) & ((s__instance(V__Exercise,s__ExerciseAnOption) & (s__WhenFn(V__Exercise) = V__Time)) => s__temporalPart(V__Time,V__Period))))) )	FinancialOntology.kif 2728-2740	If an agreement has an attribute european style option and the agreement has expiration a time interval, then there exist another time interval and a third time interval such that the other time interval is an instance of time interval and the other time interval finishes the time interval and if a physical is an instance of exercise an option and the time of existence of the physical is equal to the third time interval, then the third time interval is a part of the other time interval
( ! [V__OBJ,V__QUANT,V__AGENT,V__PS,V__PRICE,V__TIME,V__ITEM,V__R,V__CUSTOMER,V__TIMEINT,V__DURATION] : ((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS) & (V__QUANT = s__PerFn(V__PRICE,V__TIME)) & s__immediateInstance(V__ITEM,V__OBJ) & s__instance(V__R,s__Renting) & s__patient(V__R,V__ITEM) & s__possesses(V__OBJ,V__AGENT) & s__agent(V__R,V__CUSTOMER) & s__time(V__R,V__TIMEINT)) => (! [V__X] : ((s__during(V__TIMEINT,V__X) & s__instance(V__X,s__TimeInterval) & s__duration(V__X,V__DURATION) & s__lessThanOrEqualTo(V__DURATION,V__TIME)) => (? [V__P] : (s__instance(V__P,s__Payment) & s__destination(V__P,V__AGENT) & s__agent(V__P,V__CUSTOMER) & s__transactionAmount(V__P,V__PRICE)))))) )	Catalog.kif 450-472	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and a physical quantity and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and the kind of physical possesses the cognitive agent and an agent is an agent of the process and the process exists during the physical quantityINT, then for all another time interval if the physical quantityINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is a time duration and the time duration is less than or equal to the physical quantity, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14359-14365	If an organism lives in an object holds during a time position, then there exists another time position such that the other time position is an instance of time interval and the other time position is a part of the time position and the organism is located at the object holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20110-20122	If a collection is an instance of convoy, then there exist an object, another object and a time position such that the object is not equal to the other object and the object is an instance of vehicle and the other object is an instance of vehicle and the time position is an instance of time interval and the time position is a part of the time of existence of the collection and the object is a member of the collection and the other object is a member of the collection holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14883-14905	If a process is an instance of Disappearing, then there exist an entity, an agent,, , another process and a time position such that the other process is an instance of Searching and the time of existence of the process happens earlier than the time of existence of the other process and the agent is an agent of the other process and the entity is an instance of object and the entity is a patient of the process and the entity is a patient of the other process and the time position is an instance of time interval and the time position is a part of the time of existence of the other process and the statement there exists the processISC such that the processISC is an instance of discovering and the agent is an agent of the processISC and the entity is a patient of the processISC doesn't have the modal force of possibility holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 338-358	If a time interval is an instance of list on site, then there exist a WebSite, a web listing,, , another time interval and a third time interval such that the WebSite is an instance of WebSite and the web listing is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the web listing is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the web listing is hosted on the WebSite holds during the other time interval and the web listing is hosted on the WebSite holds during the third time interval and an agent is an agent of the time interval and the agent possesses the WebSite
( ! [V__POINT] : (s__instance(V__POINT,s__TimePoint) => (? [V__INTERVAL] : (s__instance(V__INTERVAL,s__TimeInterval) & s__temporalPart(V__POINT,V__INTERVAL)))) )	Merge.kif 8140-8145	If a time position is an instance of time point, then there exists another time position such that the other time position is an instance of time interval and the time position is a part of the other time position

statement

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

Media.kif 1972-1980

There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all a human

if the human is a member of TwelveApostles holds during the time interval,
then JesusOfNazareth is a friend of the human holds during the time interval

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: