TreeView Knowledge Base Browser - Pushing

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Pushing

Pushing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17611-17612
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17613-17613	Pushing 是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17636-17636	拉和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17614-17614

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	如果 engineIdleSpeed 内燃机 and RotationFn 实数英里每小時 and 持续时间和客体是汽车的 instance 和过程是 GasPedal 的 instance 和那个过程是 Pushing 的 instance 和那个过程在另一个客体结束和那个内燃机是那个客体的 part 和那个另外客体是那个客体的 part 和第三客体是 Crankshaft 的 instance 和那个第三客体是那个内燃机的 part 和那个第三客体的 measure 是 RotationFn 实体英里每小時 and 那个持续时间在那个过程出现的 time holdsDuring，然后那个实体是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	如果客体是 BrakePedal 的 instance 和过程是 Pushing 的 instance 和另一个客体是车辆的 instance 和那个过程在那个客体结束和那个过程是 located 在那个另外客体和那个客体是那个另外客体的 part，然后那个客体的目的是有存在实体和另一个实体这样那个实体是 WearingFrictionSurface 的 instance 和那个另外实体是摩擦的 instance 和那个实体是导致那个另外实体的 instrument 和那个过程 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	如果客体是 Lever 的 instance 和过程是 Pushing 的 instance 和物理是运动的 instance 和测量单位是 UnitOfLength 的 instance 和那个过程在另一个客体结束和 physicalEnd 那个另外客体 and 那个客体和 physicalEnd 第三客体 and 那个客体和那个另外客体不 equal 那个第三客体和那个另外客体是 located 在那个过程1 在紧接那个物理出现的 time before holdsDuring 和那个另外客体是 located 在那个过程2 在紧接那个物理出现的 time after holdsDuring 和那个第三客体是 located 在那个过程3 在紧接那个物理出现的 time before holdsDuring 和那个第三客体是 located 在那个过程4 在紧接那个物理出现的 time after holdsDuring 和那个过程1 和那个过程2 的 distance 是实数那个测量单位和那个过程3 和那个过程4 的 distance 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	如果时距是 Pushing 的 instance 和客体是那个时距的源头和施事体是那个时距的 agent 和那个施事体是 located 在那个施事体LOC 在那个时距的开始 holdsDuring 和那个时距在另一个实体结束，然后有存在第三实体，第四实体， and 和第五实体这样那个施事体LOC 和那个另外实体的 distance 是那个第五实体那个第四实体和那个施事体LOC 和那个客体的 distance 是那个第三实体那个第四实体和那个第三实体是 greaterThan 那个第五实体在紧接那个时距的开始 after holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2567-2583	如果客体的 measure 是函数量在时间位置 holdsDuring 和 engineIdleSpeed 内燃机 and 那个函数量和另一个客体是汽车的 instance 和那个内燃机是那个另外客体的 part 和那个客体是那个内燃机的 part，然后不存在实体和另一个实体这样那个实体在那个时间位置时段内发生和那个实体是 Pushing 的 instance 和那个实体在那个另外实体结束和那个另外实体是那个另外客体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1562-1570	如果物理是 BrakeCaliper 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 Pushing 的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 patient 和那个另外实体是 WearingFrictionSurface 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 685-691	如果物理是 BrakePedal 的 instance，然后那个物理的目的是有存在实体这样那个实体是 Pushing 的 instance 和那个实体在那个物理结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2540-2555	如果物理是 GasPedal 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是 Pushing 的 instance 和那个另外实体是转移的 instance 和那个第三实体是汽油的 instance 和那个第四实体是发动机的 instance 和那个第五实体是汽车的 instance 和那个物理是那个第五实体的 part 和那个第四实体是那个第五实体的 part 和那个实体在那个物理结束和那个另外实体在那个第四实体结束和那个第三实体是那个另外实体的 patient 和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3844-3864	如果物理是 RockerArm 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个实体是 Pushing 的 instance 和那个另外实体是 Cam 的 instance 和那个第三实体是 Pushing 的 instance 和那个第四实体是阀的 instance 和那个第五实体是开盘的 instance 和那个第六实体是 FourStrokeEngine 的 instance 和那个物理是那个第六实体的 part 和那个另外实体是那个第六实体的 part 和那个第四实体是那个第六实体的 part 和那个另外实体是导致那个实体的 instrument 和那个实体在那个物理结束和那个物理是导致那个第三实体的 instrument 和那个第三实体在那个第四实体结束和那个实体 causes 那个第三实体和那个第三实体 causes 那个第五实体和那个第四实体是那个第五实体的 patient

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

Show without tree

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