TimeInterval - Sigma 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 2097-2100
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 2095-2095	Time interval is a subclass of time position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9052-9052	Before common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9060-9060	Common era is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2090-2090	Time position is exhaustively partitioned into time interval and time point
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4063-4063	The range of fiscal year starting is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8625-8625	The range of future is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8642-8642	The range of immediate future is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8611-8611	The range of immediate past is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8593-8593	The range of past is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3749-3749	The range of site speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1494-1494	The range of TTFx is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8526-8526	The range of time interval is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15409-15409	The range of time period function is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8582-8582	The range of when is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4035	The values returned by fiscal year are subclasses of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8559-8559	The values returned by recurrent time interval are subclasses of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9511-9511	The values returned by temporal composition are subclasses of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20662-20662	Ante meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1855-1855	Breakfast time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9343-9343	Day is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8970-8970	Day time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8878-8878	Decade is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 112-112	Dhu al hijjah is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 1884-1884	Dinner time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1573-1573	Harmattan season is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16221-16221	Holiday 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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8067-8067	The number 1 argument of begin is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Music.kif 1050-1050	The number 2 argument of contest function is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8095-8095	The number 1 argument of end is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3160-3160	The number 2 argument of GPW is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2943-2943	The number 2 argument of ten minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3048-3048	The number 2 argument of one minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3013-3013	The number 2 argument of two minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2978-2978	The number 2 argument of three minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2624-2624	The number 2 argument of three second mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2718-2718	The number 2 argument of mean three second wind speed list is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Music.kif 849-849	The number 3 argument of musical interpretation is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3086-3086	The number 2 argument of qualifying purchases per user per interval is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3660-3660	The number 2 argument of sales conversion rate is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3364-3364	The number 1 argument of new buyers is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3416-3416	The number 1 argument of site_wide new registrations is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3463-3463	The number 1 argument of site_wide new sellers is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9509-9509	The number 1 argument of temporal composition is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2758-2758	The number 2 argument of three second gust speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2680-2680	The number 1 argument of time interval list is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15382-15382	The number 2 argument of agreement period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1221-1221	The number 2 argument of average temperature for period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11709-11709	The number 2 argument of breathing rate is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4303-4303	The number 2 argument of burn_in period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 556-556	The number 3 argument of compound interest is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22420-22420	The number 2 argument of construction period 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 an entity and the entity is a citizen of another 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 equal the object and the other entity_NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other 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 entity and the entity lives in another entity and the other entity 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, a third entity_PLACE and the third 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 third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and equal the geographic area and the third entity_PLACE and equal the other entity and the third entity_RES and the geographic area is not a geographic subregion of the third entity_PLACE and the third entity_PLACE is not a geographic subregion of the geographic area and the entity lives in the third 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 evacuating 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 an entity holds during a time interval and the time interval is an instance of time interval, then there exist another entity and another time interval such that the other time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9139-9149	If an entity is the spouse of another entity 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 entity is a patient of the process and the other entity 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 3849-3856	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 happens before or at the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	If an accessing web page is an instance of accessing web page and an entity is an instance of web page and a process is an instance of data transfer and an object is an instance of server and another 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 accessing web page and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the accessing web page and the other process is a subprocess of the accessing web page and equal the end of the time of existence of the other process and the beginning of the time interval and equal the end of the time of existence of the process and the end of the time interval, then equal the time to access in the accessing web page and the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3095-3114	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3056-3073	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and purchases per user in the experimenting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25154-25167	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 3376-3408	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection 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 web site 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 web site 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 equal new buyers at the web site during the time interval and the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical 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 physical is a registered user of the web site holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the physical is a registered user of the web site holds during the time interval, then the physical is a member of the collection and equal the collection and new registrations at the web site during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection 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 web site 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 web site 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 equal new sellers at the web site during the time interval and the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8467-8477	If a time interval is an instance of time interval and another time interval is an instance of time interval and equal the beginning of the time interval and the beginning of the other time interval and equal the end of the time interval and the end of the other time interval, then equal the time interval and the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8355-8360	If a time position is an instance of time interval and the time position is a part of a time interval and the time position is a part of another time interval, then the other time interval overlaps the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 455-471	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8533-8541	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 equal interval between the time point and the other time point and the time interval, then equal the beginning of the time interval and the time point and equal the end of the time interval and the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8543-8552	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 equal interval between the time point and the other time point and 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page 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 accessing web page and the time interval takes place during the accessing web page 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 accessing web page 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 equal the beginning of the time of existence of the accessing web page and the beginning of the time of existence of the physical and equal the beginning of the time of existence of the time interval and the end of the time of existence of the physical, then equal the time of the accessing web page in the class the time interval_CLASS and the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8375-8380	If a time interval is an instance of time interval and equal a time point and the beginning of the time interval and equal another time point and the end of the time interval, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8382-8392	If a time interval is an instance of time interval and another time interval is an instance of time interval and the beginning of the other time interval happens before or at the beginning of the time interval and the beginning of the time interval happens before the end of the other time interval, then the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 440-447	If a time interval is an instance of time interval and low income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is less than 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 456-463	If a time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is greater than or equal to 756.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 465-472	If a time interval is an instance of time interval and lower middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is less than 2996.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 481-488	If a time interval is an instance of time interval and upper middle income country is an economy type of a geopolitical area holds during the time interval, then there exists a real number such that the geopolitical area is per capitaGDP in period the real number united states dollar(s) for the time interval and the real number is greater than or equal to 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	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity 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, a third entity_PLACE and the third 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 third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and equal the geographic area and the third entity_PLACE and equal the other entity and the third entity_RES and the geographic area is not a geographic subregion of the third entity_PLACE and the third entity_PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity_RES holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent at the web site has cart the collection and equal the beginning of the other time interval and the end of the time interval and the entity 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 636-654	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets the time interval and the time interval meets the time of existence of the third process and there doesn't exist a fourth process such that the fourth process is an instance of radiating light and the fourth process originates at the object and the time of existence of the fourth process takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25154-25167	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 3376-3408	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection 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 web site 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 web site 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 equal new buyers at the web site during the time interval and the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical 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 physical is a registered user of the web site holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the physical is a registered user of the web site holds during the time interval, then the physical is a member of the collection and equal the collection and new registrations at the web site during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection 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 web site 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 web site 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 equal new sellers at the web site during the time interval and the collection
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2653-2657	If a list is an instance of consecutive time interval list and an entity is a member of the list, then another entity is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19721-19755	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, an entity,, , another entity,, , 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 equal the time of existence of the other process and 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 entity is an instance of directional attribute and the other entity is an instance of directional attribute and if entities in the process the other process are moving the entity holds during the time position, then entities in the process the other process are moving the other entity and equal the entity and the other entity or the other entity is an opposite direction of the entity and ~{ equal the entity and the other entity } or ~{ the other entity is an opposite direction of the entity } holds during the other time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	If a time interval is an instance of watch item and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent on the web site is watching the collection and equal the beginning of the other time interval and the end of the time interval and the entity is a member of the collection holds during the time position
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	If members of a collection have &ewRegisteredUsers$"registered" for a web site during a time interval and a physical 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 interval and the physical is a registered user of the web site holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3640-3650	If members of a collection have &ewRegisteredUsers$"registered" for a web site during a time interval and a physical 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 physical is a registered user of the web site holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2825-2837	If an agreement the attribute european style option and the agreement has expiration a time point, then there exist a time interval, another time interval and a physical such that the time interval is an instance of time interval and equal the end of the time interval and the time point and if the physical is an instance of exercise an option and equal the time of existence of the physical and the other time interval, then the other time interval is a part of the time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and equal the function quantity and the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration 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 an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT 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 the other real number the unit of measure(s) and the other real number is less than or equal to the real number, 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 14529-14535	If an entity lives in another entity 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 entity is located at the other entity holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23975-23987	If a physical is an instance of convoy, then there exist an entity, another entity and a time position such that equal the entity and the other entity and the entity is an instance of vehicle and the other entity 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 physical and the entity is a member of the physical and the other entity is a member of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18874-18896	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 266-286	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval,, , a third time interval and an agent such that the object is an instance of web site and the entity 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 entity is a patient of the time interval and equal the end of the other time interval and 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 entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and the agent is an agent of the time interval and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8025-8030	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8458-8465	If a time interval meets another time interval, then there doesn't exist a time position such that the time position is an instance of time interval and the time position is a part of the time interval and the time position is a part of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8347-8353	If a time interval overlaps another time interval, then 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

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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity

if the entity is a member of Twelve apostles holds during the time interval,
then Jesus of Nazareth is a friend of the entity 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: