during - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8379-8380
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8377-8378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8375-8375	The number 1 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8376-8376	The number 2 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8373-8373	during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8372-8372	during is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8371-8371	during is a subrelation of temporal part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	english_format.kif 262-262
No TPTP formula. May not be expressible in strict first order.	french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 185-185
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 434-434	"在这时间内" is the printable form of during in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3870-3870	"during" is the printable form of during in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 635-635	"«يَحْدُث خِلالَ»" is the printable form of during in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 188-188	"sa panahon ng" is the printable form of during in tg

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and a third time interval is an instance of sunrise and the third time interval takes place during the time interval and the time interval happens before the third time interval, then the time interval has purpose there exist another agent, the third time intervalUHUR and a fifth time interval such that the fifth time interval is an instance of waking up and the other agent experiences the fifth time interval and the third time intervalUHUR is an instance of suhur and the other agent is an agent of the third time intervalUHUR and the fifth time interval happens before the third time intervalUHUR and the fifth time interval takes place during the time intervalAY and the third time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Cars.kif 843-856	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a tremor is an instance of tremor and the physical system is a patient of the tremor and the amplitude the tremor is a length measure holds during the tremor1 and the amplitude the tremor is another length measure holds during the tremor2 and the tremor1 takes place during the tremor and the tremor2 takes place during the tremor and the tremor1 happens earlier than the tremor2, then the length measure is greater than the other length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28357-28378	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8859-8866	If a time interval is an instance of Evening and another time interval is an instance of afternoon and a third time interval is an instance of day and the time interval takes place during the third time interval and the other time interval takes place during the third time interval, then the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1704-1726	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 447-460	If an entity is an instance of student and a human is an instance of school and the human attends the entity and a process is an instance of graduation and there exist an integer and a physical such that the integer is an instance of year and the physical exists during the process and the human is an agent of the process and the entity is a patient of the process and the physical takes place during the integer, then the entity expects to graduate in the year the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the other time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3865-3900	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all an object if the object is a member of the collection, then the object is an instance of AccessingWebPage and for all a process, an agent,, , another object,, , the process and a third object if the agent is an instance of human and the process is an instance of buying and the other object is an instance of AccessingWebPage and the third object is an instance of WebPage and the other object is a member of the collection and the other object ends up at the third object and the agent is an agent of the process and the agent is an agent of the other object and the time of existence of the process takes place during the time of existence of the other object and the third object is an instrument for the process, then the process is a member of an entity_PURCHASES , then purchases made in the collection during a time interval is equal to the number of instances in the class described by another entity_IN_INTERVAL and the number of instances in the class described by a third entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of AscensionThursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of PalmSunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Dining.kif 375-386	If the standard retail hours for an agent are a kind of time interval and a cognitive agent is a potential customer for the agent and a process is an instance of intentional process and the process ends up at the cognitive agent and a physical is an instance of the start of the process and probability of the time of existence of the physical takes place during a kind of time interval provided that the agent is an agent of the process holds is a quantity and probability of the time of existence of the physical doesn't take place during the kind of time interval provided that the agent is an agent of the process holds is another quantity, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1137-1153	If the visibility at a region during a time interval is a length measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1155-1172	If the visibility at a region during a time interval is a length measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object, then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8382-8386	If a time interval takes place during another time interval, then the end of the time interval happens before the end of the other time interval and the beginning of the other time interval happens before the beginning of the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by a process and the number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if a number is equal to the number of instances in the class described by a process and the number and 1000 is equal to a quantity and another number is equal to the number of instances in the class described by another process and the other number and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27977-27985	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and a third time interval is an instance of sunrise and the third time interval takes place during the time interval and the time interval happens before the third time interval, then the time interval has purpose there exist another agent, the third time intervalUHUR and a fifth time interval such that the fifth time interval is an instance of waking up and the other agent experiences the fifth time interval and the third time intervalUHUR is an instance of suhur and the other agent is an agent of the third time intervalUHUR and the fifth time interval happens before the third time intervalUHUR and the fifth time interval takes place during the time intervalAY and the third time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3731-3740	If a collection are first time buyers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time intervalE
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3779-3788	If a collection are first time sellers on a WebSite during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the WebSite facilitates the financial transaction and the time of existence of the financial transaction takes place during the time intervalE
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	If an emotional state is an attribute of an agent holds during a time interval and the emotional state tends to cause a kind of emotional behavioral process, then the statement there exists a kind of emotional behavioral processI such that the kind of emotional behavioral process is an instance of the kind of emotional behavioral processI and the kind of emotional behavioral processI takes place during the time interval and the agent experiences the kind of emotional behavioral processI has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2594-2610	If the measure of an object is a function quantity holds during a time interval and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist another time interval and a third object such that the other time interval takes place during the time interval and the other time interval is an instance of pushing and the other time interval ends up at the third object and the third object is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27949-27960	If an agent is an instance of agent and Motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8099-8112	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1931-1947	If a process is an instance of EngineCycle and an engine is an instance of internal combustion engine and an object is an instance of combustion chamber and the object is a part of the engine and the process is located at 2 and the maximum volume of the cylinders in the engine the engine is a volume measure holds during the time of existence of the process, then there don't exist a physical quantity and a time interval such that the time interval takes place during the time of existence of the process and the measure of the object is the physical quantity holds during the time interval and the physical quantity is greater than the volume measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1920	If a process is an instance of EngineCycle and an engine is an instance of internal combustion engine and an object is an instance of combustion chamber and the object is a part of the engine and the process is located at 2 and the minimum volume of the cylinders in the engine the engine is a volume measure holds during the time of existence of the process, then there don't exist a physical quantity and a time interval such that the time interval takes place during the time of existence of the process and the measure of the object is the physical quantity holds during the time interval and the volume measure is greater than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1973-1992	If a process is an instance of EngineCycle and an engine is an instance of internal combustion engine and an object is an instance of piston and the object is a part of the engine and the object is a patient of the process and the process is located at 2 and the maximum distance that the pistons of engine the engine travel is a length measure, then there don't exist a time interval, another time interval,, , another object,, , a third object and another length measure such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the other object holds during the time interval and the object is located at the third object holds during the other time interval and the distance between the other object and the third object is the other length measure and the other length measure is greater than the length measure
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3300-3319	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 3571-3604	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 3624-3651	If a time interval is an instance of time interval and an entity 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 entity holds during the time interval_BEFORE and there exists the time interval_DURING such that another 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 entity holds during the time interval, then the agent is a member of the collection and the collection is equal to new registrations at the entity during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3671-3704	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.	MilitaryDevices.kif 1050-1062	If an agent is an instance of guided missile and a process is an instance of flying and the agent is a patient of the process, then there exists another process such that the other process is an instance of guiding and the process is a patient of the other process and the agent is an agent of the other process and the time of existence of the other process takes place during the time of existence of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: