during - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__during__m,s__ChineseLanguage,'"(during ?INTERVAL1 ?INTERVAL2)的意思是 ?INTERVAL1 比 ?INTERVAL2 要晚开始和先结束。"')	chinese_format.kif 2720-2721
s__documentation(s__during__m,s__EnglishLanguage,'"(during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2."')	Merge.kif 7944-7945
s__domain(s__during__m,n__1,s__TimeInterval)	Merge.kif 7941-7941	The number 1 argument of during is an instance of time interval
s__domain(s__during__m,n__2,s__TimeInterval)	Merge.kif 7942-7942	The number 2 argument of during is an instance of time interval
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__during__m,s__BinaryPredicate)	Merge.kif 7938-7938	during is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__SetOrClass) s__instance(s__during__m,s__IrreflexiveRelation)	Merge.kif 7939-7939	during is an instance of irreflexive relation
s__instance(s__TransitiveRelation,s__SetOrClass) s__instance(s__during__m,s__TransitiveRelation)	Merge.kif 7937-7937	during is an instance of transitive relation

appearance as argument number 2

s__format(s__ChineseLanguage,s__during__m,'"%1 %n{doesnt} 在 %2 时段内发生"')	chinese_format.kif 433-433
s__format(s__EnglishLanguage,s__during__m,'"%1 %n{doesnt} take%p{s} place during %2"')	english_format.kif 442-442
s__termFormat(s__ChineseLanguage,s__during__m,'"在这时间内"')	chinese_format.kif 434-434
s__termFormat(s__ChineseLanguage,s__during__m,'"期间"')	domainEnglishFormat.kif 20685-20685
s__termFormat(s__ChineseTraditionalLanguage,s__during__m,'"期間"')	domainEnglishFormat.kif 20684-20684
s__termFormat(s__EnglishLanguage,s__during__m,'"during"')	domainEnglishFormat.kif 20683-20683

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 another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has the purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a time interval is an instance of tremor and the physical system is a patient of the time interval and an entity is an instance of UnitOfLength and the amplitude the time interval is a quantity the entity(s) holds during the time interval1 and the amplitude the time interval is another quantity the entity(s) holds during the time interval2 and the time interval1 takes place during the time interval and the time interval2 takes place during the time interval and the time interval1 happens earlier than the time interval2, then the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29360-29381	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
( ! [V__Y,V__ES,V__L] : (((s__instance(V__ES,s__EasterSunday) & s__instance(V__L,s__Lent) & s__meetsTemporally(V__L,V__ES) & s__during(V__ES,V__Y) & s__instance(V__Y,s__Year)) => (s__during(V__L,V__Y))) ) )	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
( ! [V__Y,V__ES,V__L] : (((s__instance(V__ES,s__EasterSunday) & s__instance(V__L,s__Lent) & s__meetsTemporally(V__L,V__ES) & s__during(V__L,V__Y) & s__instance(V__Y,s__Year)) => (s__during(V__ES,V__Y))) ) )	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
( ! [V__D,V__EVE,V__AFT] : (((s__instance(V__EVE,s__Evening) & s__instance(V__AFT,s__Afternoon) & s__instance(V__D,s__Day) & s__during(V__EVE,V__D) & s__during(V__AFT,V__D)) => (s__meetsTemporally(V__AFT,V__EVE))) ) )	Merge.kif 8524-8531	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
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] : (((s__instance(V__PROCESS,s__TimeInterval) & s__instance(V__PROCESS,s__Process) & s__instance(V__PROCESS_CLASS,s__Class)) => (((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,s__TimeInterval) & s__instance(V__PROCESS2,s__Process) & (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
( ! [V__T1,V__T2,V__YEAR] : (((s__instance(V__T1,s__Advent) & s__instance(V__T2,s__ChristmasDay) & s__during(V__T1,V__YEAR) & s__instance(V__YEAR,s__Year) & s__meetsTemporally(V__T1,V__T2)) => (s__during(V__T2,V__YEAR))) ) )	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
( ! [V__T1,V__T2,V__YEAR] : (((s__instance(V__T1,s__Advent) & s__instance(V__T2,s__ChristmasDay) & s__during(V__T2,V__YEAR) & s__instance(V__YEAR,s__Year) & s__meetsTemporally(V__T1,V__T2)) => (s__during(V__T1,V__YEAR))) ) )	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 3876-3911	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 a physical if the physical is a member of the collection, then the physical is an instance of AccessingWebPage and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of AccessingWebPage and the object is an instance of WebPage and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then purchases made in the collection during a time interval is equal to the number of instances in the class described by an entity_IN_INTERVAL and the number of instances in the class described by another entity_IN_INTERVAL
( ! [V__A,V__E,V__I,V__Y] : ((s__instance(V__I,s__TimeInterval) => (((s__instance(V__Y,s__Year) & s__instance(V__E,s__EasterSunday) & s__instance(V__A,s__AscensionThursday) & s__during(V__E,V__Y) & s__during(V__A,V__Y) & s__starts(V__E,V__I) & s__finishes(V__A,V__I)) => (s__duration(V__I,s__MeasureFn(n__40,s__DayDuration)))))) ) )	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)
( ! [V__P,V__E,V__I,V__Y] : ((s__instance(V__I,s__TimeInterval) => (((s__instance(V__Y,s__Year) & s__instance(V__E,s__EasterSunday) & s__instance(V__P,s__PalmSunday) & s__during(V__E,V__Y) & s__during(V__P,V__Y) & s__starts(V__P,V__I) & s__finishes(V__E,V__I)) => (s__duration(V__I,s__MeasureFn(n__8,s__DayDuration)))))) ) )	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)
( ! [V__P,V__E,V__I,V__Y] : ((s__instance(V__I,s__TimeInterval) => (((s__instance(V__Y,s__Year) & s__instance(V__E,s__EasterSunday) & s__instance(V__P,s__Pentecost) & s__during(V__E,V__Y) & s__during(V__P,V__Y) & s__starts(V__E,V__I) & s__finishes(V__P,V__I)) => (s__duration(V__I,s__MeasureFn(n__50,s__DayDuration)))))) ) )	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 371-382	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 an entity is an instance of the start of the process and probability of the time of existence of the entity takes place during a kind of time interval provided that the agent is an agent of the process holds is a real number and probability of the time of existence of the entity doesn't take place during the kind of time interval provided that the agent is an agent of the process holds is another real number, then the other real number is less than the real number
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] : (((s__instance(V__A,s__Agent) & s__instance(V__Distance,s__RealNumber) & s__instance(V__Area,s__Region)) => (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U)) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__Time,s__DayTime) & s__instance(V__Observe,s__Looking) & s__instance(V__B,s__Object) & s__color(V__B,s__Black) & s__agent(V__Observe,V__A) & s__patient(V__Observe,V__B) & s__orientation(V__A,V__B,s__Horizontal) & s__eventLocated(V__Observe,V__Area) & s__during(s__WhenFn(V__Observe) ,V__Time) & s__instance(V__B,s__Object)) => (( ? [V__D2] : ((s__instance(V__D2,s__RealNumber) & (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U)) & s__greaterThan(V__Distance,V__D2))))))))) ) )	Weather.kif 2721-2741	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of 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 there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] : (((s__instance(V__A,s__Agent) & s__instance(V__Distance,s__RealNumber) & s__instance(V__Area,s__Region)) => (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U)) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__Time,s__NightTime) & s__instance(V__Observe,s__Looking) & s__instance(V__B,s__Region) & s__attribute(V__B,s__Illuminated) & s__measure(V__B,s__MeasureFn(n__1000,s__Candela)) & s__agent(V__Observe,V__A) & s__patient(V__Observe,V__B) & s__orientation(V__A,V__B,s__Horizontal) & s__eventLocated(V__Observe,V__Area) & s__during(s__WhenFn(V__Observe) ,V__Time) & s__instance(V__B,s__Object)) => (( ? [V__D2] : ((s__instance(V__D2,s__RealNumber) & (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U)) & s__greaterThan(V__Distance,V__D2))))))))) ) )	Weather.kif 2743-2764	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of 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 there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
( ! [V__INTERVAL2,V__INTERVAL1] : (((s__instance(V__INTERVAL2,s__TimeInterval) & s__instance(V__INTERVAL1,s__TimeInterval)) => ((s__during(V__INTERVAL1,V__INTERVAL2) => ((s__before(s__EndFn(V__INTERVAL1) ,s__EndFn(V__INTERVAL2)) & s__before(s__BeginFn(V__INTERVAL2) ,s__BeginFn(V__INTERVAL1))))))) ) )	Merge.kif 7947-7951	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
( ! [V__BIG,V__SMALL] : (((s__instance(V__BIG,s__TimeInterval) & s__instance(V__SMALL,s__TimeInterval)) => ((s__during(V__SMALL,V__BIG) => (s__temporalPart(V__SMALL,V__BIG))))) ) )	Merge.kif 7933-7935	If a time interval takes place during another time interval, then the time interval is a part of the other 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 number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number 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 number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number 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 another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number 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 another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string 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 28921-28934	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28969-28977	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 another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has the purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-212	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 an entity, another entity and a third entity such that the entity is an instance of zakat and a fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] : (((s__instance(V__MEMBER,s__Agent) & s__instance(V__SITE,s__WebSite) & s__instance(V__COLL,s__Collection) & s__instance(V__INT,s__TimeInterval)) => (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (( ? [V__BUYING] : ((s__instance(V__BUYING,s__Buying) & s__agent(V__BUYING,V__MEMBER) & s__eCommerceSite(V__BUYING,V__SITE) & s__during(s__WhenFn(V__BUYING) ,V__INT)))))))) ) )	UXExperimentalTerms.kif 3742-3751	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 interval
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] : (((s__instance(V__MEMBER,s__Agent) & s__instance(V__SITE,s__WebSite) & s__instance(V__COLL,s__Collection) & s__instance(V__INT,s__TimeInterval)) => (((s__firstTimeSellers(V__INT,V__SITE,V__COLL) & s__member(V__MEMBER,V__COLL)) => (( ? [V__SELLING] : ((s__instance(V__SELLING,s__Selling) & s__agent(V__SELLING,V__MEMBER) & s__eCommerceSite(V__SELLING,V__SITE) & s__during(s__WhenFn(V__SELLING) ,V__INT)))))))) ) )	UXExperimentalTerms.kif 3790-3799	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 interval
No TPTP formula. May not be expressible in strict first order.	emotion.kif 161-172	If an emotional state is an attribute of an entity holds during a time position and actionTendency the emotional state and 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 position and the entity 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 2567-2583	If the measure of an object is a function quantity holds during a time position 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 an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity 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 28940-28951	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 9585-9601	If an object is an instance of BodySegment and another object is an instance of BodySegment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
( ! [V__B,V__C] : (((s__instance(V__C,s__CavalryUnit) & s__instance(V__B,s__Battle) & s__agent(V__B,V__C)) => (( ? [V__P, V__V, V__T] : ((s__instance(V__P,s__Agent) & (s__attribute(V__P,s__Soldier) & s__member(V__P,V__C) & s__instance(V__T,s__Transportation) & s__agent(V__T,V__P) & s__instance(V__V,s__Vehicle) & s__patient(V__T,V__V) & s__during(V__T,V__B))))))) ) )	Mid-level-ontology.kif 7878-7891	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 1898-1917	If a process is an instance of EngineCycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at 2 and an entity is an instance of UnitOfVolume and the maximum volume of the cylinders in the engine the object is a quantity the entity(s) holds during the time of existence of the process, then there don't exist another 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 other object is the other quantity the entity(s) holds during the time interval and the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1868-1887	If a process is an instance of EngineCycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at 2 and an entity is an instance of UnitOfVolume and the minimum volume of the cylinders in the engine the object is a quantity the entity(s) holds during the time of existence of the process, then there don't exist another 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 other object is the other quantity the entity(s) holds during the time interval and the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	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 an unit of measure is an instance of UnitOfLength 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 real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number 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 physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
( ! [V__Y,V__ES,V__L] : (((s__instance(V__ES,s__EasterSunday) & s__instance(V__L,s__Lent) & s__meetsTemporally(V__L,V__ES) & s__during(V__ES,V__Y) & s__instance(V__Y,s__Year)) => (s__during(V__L,V__Y))) ) )	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
( ! [V__Y,V__ES,V__L] : (((s__instance(V__ES,s__EasterSunday) & s__instance(V__L,s__Lent) & s__meetsTemporally(V__L,V__ES) & s__during(V__L,V__Y) & s__instance(V__Y,s__Year)) => (s__during(V__ES,V__Y))) ) )	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 3302-3321	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 a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4488-4503	If a process is an instance of FailureFn a kind of intentional process and a cognitive agent is an agent of the process, then the cognitive agent desires there exists another process such that the other process is an instance of a kind of intentional process and the cognitive agent is an agent of the other process and there doesn't exist the other process such that the other process is an instance of the kind of intentional process and the time of existence of the other process takes place during the time of existence of the process and the cognitive agent is an agent of the other process
( ! [V__HA,V__H] : (((s__instance(V__HA,s__HeartAttack) & s__instance(V__H,s__Heart) & s__located(V__HA,V__H)) => (( ? [V__M] : ((s__instance(V__M,s__Muscle) & s__part(V__M,V__H) & ~(( ? [V__BF, V__B] : ((s__instance(V__BF,s__LiquidMotion) & s__objectTransferred(V__BF,V__B) & s__instance(V__B,s__Blood) & s__during(V__BF,s__WhenFn(V__HA)) & s__destination(V__BF,V__M)))))))))) ) )	Mid-level-ontology.kif 10367-10384	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: