Accelerating - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Accelerating,s__EnglishLanguage,'"Increasing the speed with which someone or something is moving."')

Mid-level-ontology.kif 14725-14726

Mid-level-ontology.kif 14724-14724

Mid-level-ontology.kif 14723-14723

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__Accelerating,'"加速"')	domainEnglishFormat.kif 5213-5213
s__termFormat(s__ChineseTraditionalLanguage,s__Accelerating,'"加速"')	domainEnglishFormat.kif 5212-5212
s__termFormat(s__EnglishLanguage,s__Accelerating,'"accelerating"')	domainEnglishFormat.kif 5211-5211

antecedent

( ! [V__A,V__T,V__E] : ((s__instance(V__T,s__TimeInterval) & s__instance(V__E,s__Agent)) => (s__instance(V__A,s__Accelerating) & (V__T = s__WhenFn(V__A)) & s__experiencer(V__A,V__E)) => ~(( ? [V__D] : ((s__instance(V__D,s__Decelerating) & s__experiencer(V__D,V__E) & (V__T = s__WhenFn(V__D)))))) ) )	Mid-level-ontology.kif 14760-14770	If a process is an instance of accelerating and a time interval is equal to the time of existence of the process and an agent experiences the process, then there doesn't exist another process such that the other process is an instance of decelerating and the agent experiences the other process and the time interval is equal to the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14728-14738	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity and a fourth quantity such that the measure of the agent is the quantity per the third quantity holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity per the fourth quantity holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity