Motion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2997-2997
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11015-11015
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11457-11457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11462-11462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11465-11465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11460-11460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10134-10134
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11456-11456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11463-11463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11459-11459
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11458-11458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11461-11461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11464-11464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	运动是过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4894-4894	流的 range 是运动的实例
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	身体运动是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21526-21526	关闭是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1982-1982	Compressing 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11274-11274	方向改变是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2208-2208	EngineCranking 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	EngineCycle 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 202-202	FourStrokeCombustion 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 186-186	FourStrokeCompression 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 219-219	FourStrokeExhaust 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 166-166	FourStrokeIntake 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11244-11244	气体运动是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11189-11189	地质过程是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5706-5706	灌溉是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	液体运动是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11065-11065	向下运动是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11059-11059	向上运动是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21519-21519	开盘是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17607	拉是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17613-17613	Pushing 是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13645-13645	辐射是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17513-17513	逆是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17441-17441	旋转是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17133-17133	拉伸是运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6795-6795	蜂拥是运动的 subclass

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 10979-10979	移动的 1 数量是运动的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11075-11075	路径的 1 数量是运动的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 328-328	风力驱动运动的 2 数量是运动的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	如果客体是 Clutch 的 instance 和另一个客体是汽车的 instance 和第三客体是发动机的 instance 和第四客体是变速器的 instance 和那个第四客体EAR 是齿轮的 instance 和那个第四客体EAR 是那个第四客体的 part 和那个第四客体是那个另外客体的 part 和那个客体是那个另外客体的 part 和那个第三客体是那个另外客体的 part 和过程是运动的 instance 和那个第三客体是那个过程的 patient 和设备关闭是那个客体的 attribute，然后有存在那个过程2 这样那个过程2 是运动的 instance 和那个第四客体是那个过程2 的 patient 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	如果客体是 Clutch 的 instance 和另一个客体是汽车的 instance 和第三客体是发动机的 instance 和第四客体是变速器的 instance 和那个第四客体EAR 是齿轮的 instance 和那个第四客体EAR 是那个第四客体的 part 和那个第四客体是那个另外客体的 part 和那个客体是那个另外客体的 part 和那个第三客体是那个另外客体的 part 和过程是运动的 instance 和那个第三客体是那个过程的 patient 和设备上是那个客体的 attribute，然后不存在那个过程2 这样那个过程2 是运动的 instance 和那个第四客体是那个过程2 的 patient 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	如果过程是运动的 instance 和另一个过程是震的 instance 和客体是 Damper 的 instance 和另一个客体是那个另外过程的 patient 和那个客体是那个另外客体的 part 和那个过程 causes 那个另外过程和实体是 UnitOfLength 的 instance 和 physicalAmplitude 那个另外过程 and 实数那个实体在那个过程出现的 time holdsDuring 和 physicalAmplitude 那个另外过程 and 另一个实数那个实体在紧接那个过程 after holdsDuring，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2730-2744	如果客体是 FanBelt 的 instance 和另一个客体是 EngineFan 的 instance 和第三客体是汽车的 instance 和那个客体是那个第三客体的 part 和那个另外客体是那个第三客体的 part 和过程是运动的 instance 和那个客体是那个过程的 patient，然后那个客体的目的是有存在那个过程2 这样那个过程2 是旋转的 instance 和那个过程 causes 那个过程2 和那个另外客体是那个过程2 的 patient
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 85-91	如果过程是 GuidingMotion 的 instance 和实体是那个过程的 patient 和另一个过程%n是那个过程的subProcess 和那个另外过程是运动的 instance，然后那个实体是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	如果过程是 GuidingMotion 的 instance 和另一个过程%n是那个过程的subProcess 和那个另外过程是运动的 instance 和另一个实体是那个另外过程的 patient，然后那个另外实体是那个过程的 patient
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.	Merge.kif 11052-11057	如果运动是运动的 instance 和移动那个运动 and 客体和那个运动在实体结束，然后那个客体是 located 在那个实体在那个运动出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11036-11041	如果运动是运动的 instance 和移动那个运动 and 客体和另一个客体是那个运动的源头，然后那个客体是 located 在那个另外客体在那个运动出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 801-807	如果客体是原油管道的 instance 和过程是运动的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient，然后那个实体是石油的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 813-819	如果客体是天然气管道的 instance 和过程是运动的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient，然后那个实体是天然气的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 826-832	如果客体是石油产品管道的 instance 和过程是运动的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient，然后那个实体是石油产品的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	如果客体是管道的 instance 和过程是运动的 instance 和那个客体是导致那个过程的 instrument 和实体是那个过程的 patient，然后那个实体是和流体对应的 Class 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11018-11023	如果运动是运动的 instance，然后有存在客体这样那个客体是客体的 instance 和移动那个运动 and 那个客体

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	如果 WheelchairAccessible 是客体的 attribute 和那个客体是建筑物的 instance 或那个客体是房间的 instance，然后有存在实体和另一个实体这样那个实体是运动的 instance 和那个另外实体是导致那个实体的 instrument 和那个另外实体是 Wheelchair 的 instance 和那个实体是 located 在那个客体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2056-2060	如果属性是时速级数属性的 instance 和实体有那个属性的 attribute，然后那个实体是运动的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	如果客体是车辆制动器的 instance 和另一个客体是车辆的 instance 和那个客体是那个另外客体的 part，然后那个客体的目的是有存在实体这样那个实体是运动的 stop 的 instance 和那个另外客体是那个实体的 patient 和那个客体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	如果客体是 Clutch 的 instance 和另一个客体是汽车的 instance 和第三客体是发动机的 instance 和第四客体是变速器的 instance 和那个第四客体EAR 是齿轮的 instance 和那个第四客体EAR 是那个第四客体的 part 和那个第四客体是那个另外客体的 part 和那个客体是那个另外客体的 part 和那个第三客体是那个另外客体的 part 和过程是运动的 instance 和那个第三客体是那个过程的 patient 和设备关闭是那个客体的 attribute，然后有存在那个过程2 这样那个过程2 是运动的 instance 和那个第四客体是那个过程2 的 patient 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1817-1836	如果客体是 Clutch 的 instance 和另一个客体是汽车的 instance 和第三客体是发动机的 instance 和第四客体是变速器的 instance 和那个第四客体EAR 是齿轮的 instance 和那个第四客体EAR 是那个第四客体的 part 和那个第四客体是那个另外客体的 part 和那个客体是那个另外客体的 part 和那个第三客体是那个另外客体的 part 和过程是运动的 instance 和那个第三客体是那个过程的 patient 和设备上是那个客体的 attribute，然后不存在那个过程2 这样那个过程2 是运动的 instance 和那个第四客体是那个过程2 的 patient 和那个过程 causes 那个过程2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	如果客体是锯的 instance 和过程是切开的 instance 和那个客体是导致那个过程的 instrument 和另一个客体是客体的 instance 和那个另外客体是那个过程的 patient，然后有存在另一个过程，实体,，，另一个实体,，，时距,，，时间位置,，，另一个时间位置， and 和第三客体这样那个另外过程是运动的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三客体是切割装置的 instance 和那个第三客体是那个客体的 part 和那个第三客体接上那个另外客体和那个第三客体是那个另外过程的 patient 和那个另外时间位置是时距的 instance 和那个另外时间位置是时距的 instance 和那个另外过程出现的 time equal 那个时距和那个时距时段是那个时间位置时段的一 part 和那个时距时段是那个另外时间位置时段的一 part 和那个实体是方向属性的 instance 和那个另外实体是方向属性的 instance 和如果那个另外过程过程的实体向那个实体在那个时间位置 holdsDuring，然后那个另外过程过程的实体向那个另外实体和那个实体 equal 那个另外实体或那个另外实体是那个实体的 opposite 方向和 ~{ 那个实体 equal 那个另外实体 } 或 ~{ 那个另外实体是那个实体的 opposite 方向 } 在那个另外时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	如果实体不是施事体的 instance 和 Motionless 是那个实体的 attribute 在时距 holdsDuring，然后不存在过程这样那个过程是运动的 instance 和那个实体是那个过程的 patient 和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	如果时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在物理和第三实数这样那个物理是运动的 instance 和那个物理有那个时速级数属性的 attribute 和那个物理的 measure 是那个第三实数那个测量单位和那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	如果锁定是客体的 attribute，然后有存在另一个客体，过程， and 和实体这样那个另外客体是锁的 instance 和那个另外客体和那个客体是 connected 和那个过程是关闭的 instance 和那个另外客体是那个过程的 patient 和那个实体是运动的 instance 和那个过程出现的 time 比锁定是那个客体的 attribute 出现的 time发生的earlier 和那个客体是那个实体的 patient 的声明 doesn't have 可能性的语气在锁定是那个客体的 attribute 出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	如果物理是 Catheter 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，那个另外实体BJ， and 和第四实体这样那个另外实体是生物的 instance 和那个实体是运动的 instance 和移动那个实体 and 那个另外实体BJ 和那个第四实体在那个另外实体的外和那个物理%n是那个实体发生的path 和那个第四实体是那个实体的源头和那个实体在那个另外实体结束或那个另外实体是那个实体的源头和那个实体在那个第四实体结束
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 71-76	如果过程是 GuidingMotion 的 instance，然后有存在另一个过程这样那个另外过程%n是那个过程的subProcess 和那个另外过程是运动的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	如果物理是 IntermittentCombustionEngine 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是爆炸的 instance 和那个另外实体是运动的 instance 和那个实体是 located 在那个物理和那个另外实体是 located 在那个物理和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	如果物理是内燃机的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是燃烧的 instance 和那个另外实体是运动的 instance 和那个第三实体是那个物理的 part 和那个第三实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	如果物理是 MechanicalJoint 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第四实体是运动的 instance 和那个实体是物理系统的 instance 和那个另外实体是工程组件的 instance 和那个第三实体是工程组件的 instance 和那个另外实体是物理系统的 part 和那个物理是物理系统的 part 和那个第三实体是物理系统的 part 和那个另外实体不是那个第四实体的 patient 和那个第三实体是那个第四实体的 patient 和那个另外实体是和那个物理 connected 和那个第三实体是和那个物理 connected
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	如果客体是 WhirlpoolTub 的 instance，然后有存在另一个客体这样那个另外客体是压力控制阀的 instance 和那个另外客体是那个客体的 part 和那个另外客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是水的 instance 和那个实体是 located 在那个客体和那个另外实体是创作的 instance 和那个另外客体是导致那个另外实体的 instrument 和那个第三实体是那个另外实体的 result 和那个第三实体是运动的 instance 和那个第三实体是 located 在那个实体
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	如果实体是有点水果或蔬菜的 juice 的 instance，然后有存在客体和过程这样那个客体是有点水果或蔬菜的 instance 和那个过程是运动的 instance 和那个客体是那个过程的 resource 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	如果过程是 WaterSkiing 的 instance，然后有存在施事体，客体,，，另一个客体,，，第三客体,，，第四客体,，，另一个过程， and 和第三过程这样那个另外客体是水车的 instance 和那个第四客体是水域的 instance 和那个客体是 WaterSki 的 instance 和那个过程是 located 在那个第四客体和那个施事体是人类的 instance 和那个施事体是 located 在那个客体和那个第三客体 connects 那个施事体和那个另外客体和那个另外过程是运输的 instance 和那个另外客体是导致那个另外过程的 instrument 和那个第三过程是运动的 instance 和那个施事体是那个第三过程的 agent 和那个客体是导致那个第三过程的 instrument 和那个另外过程 causes 那个第三过程和那个第三过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1304-1315	如果过程是 WindSurfing 的 instance，然后有存在客体，另一个客体,，，另一个过程， and 和第三过程这样那个客体是 WindSurfingBoard 的 instance 和那个另外客体是水域的 instance 和那个第三过程是风的 instance 和那个另外过程是运动的 instance 和那个过程是 located 在那个另外客体和那个另外过程%n是那个过程的subProcess 和那个客体是导致那个另外过程的 instrument 和那个第三过程 causes 那个另外过程

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: