moves - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - moves

moves

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2991-2993
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10982-10985
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1751-1753
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 10980-10980	移动的 2 数量是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10977-10977	移动是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10978-10978	移动是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10987-10987	移动是参与活动的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 668-668
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11000-11000	改变位置是移动的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39027-39027
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39026-39026
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39025-39025

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和过程是 Extension 的 instance 和有点肌肉C 是导致那个过程的 instrument 和移动运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点肌肉 and 另一个有点肌肉和运动是 Flexion 的 instance 和有点肌肉C 是导致那个运动的 instrument 和移动那个运动 and 另一个有点肌肉C 和那个有点肌肉C 是那个有点肌肉的 instance 和那个另外有点肌肉C 是那个另外有点肌肉的 instance 和那个有点肌肉C 是第三客体的 part 和那个另外有点肌肉C 是那个第三客体的 part 和那个第三客体是哺乳动物的 instance，然后那个另外有点肌肉C 能够担当工具的角色做 Extension
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9839-9861	如果客体是 Antacid 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9900-9922	如果客体是 ProtonPumpInhibitor 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和另一个客体是胃的 instance 和那个另外客体是那个施事体的 part 和那个另外客体 contains 第三客体和那个第三客体是流体的 instance 在紧接那个运动出现的 time before holdsDuring 和那个另外客体 contains 第四客体和那个第四客体是流体的 instance 在紧接那个运动出现的 time after holdsDuring 和 phMeasure 那个第三客体 and 实数和 phMeasure 那个第四客体 and 另一个实数，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	如果客体是 BodySegment 的 instance 和另一个客体是 BodySegment 的 instance 和那个客体和那个另外客体是 connected 和运动是身体运动的 instance 和移动那个运动 and 那个客体，然后不存在那个运动2 这样那个运动2 是身体运动的 instance 和移动那个运动2 and 那个另外客体和那个运动2 出现的 time 在那个运动出现的 time 时段内发生的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3954-3964	如果运动是 MuscularContraction 的 instance 和移动那个运动 and 客体和那个客体是 VoluntaryMuscle 的 instance 或那个客体是 HeartMuscle 的 instance，然后有存在另一个客体这样那个另外客体是 Troponin 的 instance 和那个另外客体是那个运动的 resource
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10055-10078	如果客体是 Antidiuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和那个时距不 equal 那个另外时距和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个实数是 greaterThan 那个另外实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10025-10046	如果客体是 Diuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10647-10657	如果运动是 Extension 的 instance 和移动那个运动 and 客体，然后有存在另一个客体和那个另外客体C 这样那个另外客体是肌肉的 instance 和那个另外客体C 是 MuscularContraction 的 instance 和那个另外客体是导致那个运动的 instrument 和那个另外客体和那个客体是 connected 和那个另外客体C%n是那个运动的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10634-10645	如果运动是 Flexion 的 instance 和施事体是那个运动的 agent 和移动那个运动 and 客体，然后不存在另一个运动这样那个另外运动是 Extension 的 instance 和那个另外运动出现的 time equal 那个运动出现的 time 和那个施事体是那个另外运动的 agent 和移动那个另外运动 and 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10607-10617	如果运动是 Flexion 的 instance 和移动那个运动 and 客体，然后有存在另一个客体和那个另外客体C 这样那个另外客体是肌肉的 instance 和那个另外客体C 是 MuscularContraction 的 instance 和那个另外客体是导致那个运动的 instrument 和那个另外客体和那个客体是 connected 和那个另外客体C%n是那个运动的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11110-11116	如果运动是身体运动的 instance 和移动那个运动 and 客体，然后那个客体是身体部位的 instance 和那个客体是那个运动的 patient
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.	Mid-level-ontology.kif 8600-8610	如果客体是 Poison 的 instance 和运动是消化的 instance 和移动那个运动 and 那个客体和施事体经历了那个运动，然后有存在过程这样那个过程是损坏的 instance 和那个施事体经历了那个过程和那个运动 causes 那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	如果客体是 Poison 的 instance 和运动是消化的 instance 和移动那个运动 and 那个客体和施事体经历了那个运动，然后盲是那个施事体的 attribute 在那个运动出现的 time 之后 holdsDuring 的声明 has 可能性的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	如果客体是 BodySegment 的 instance 和另一个客体是 BodySegment 的 instance 和那个客体和那个另外客体是 connected 和运动是身体运动的 instance 和移动那个运动 and 那个客体，然后不存在那个运动2 这样那个运动2 是身体运动的 instance 和移动那个运动2 and 那个另外客体和那个运动2 出现的 time 在那个运动出现的 time 时段内发生的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9964-9976	如果过程是 Edema 的 instance 和施事体经历了那个过程，然后有存在运动，客体， and 和另一个客体这样那个运动是转移的 instance 和那个另外客体是液体的 instance 和那个客体是身体部位的 instance 和那个客体是那个施事体的 part 和那个运动在那个客体结束和移动那个运动 and 那个另外客体和那个运动%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10634-10645	如果运动是 Flexion 的 instance 和施事体是那个运动的 agent 和移动那个运动 and 客体，然后不存在另一个运动这样那个另外运动是 Extension 的 instance 和那个另外运动出现的 time equal 那个运动出现的 time 和那个施事体是那个另外运动的 agent 和移动那个另外运动 and 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5847-5859	如果过程是 Infecting 的 instance 和施事体经历了那个过程，然后有存在运动，另一个过程， and 和另一个施事体这样那个运动是易位的 instance 和移动那个运动 and 那个另外施事体和那个另外施事体是生物的 instance 和那个另外过程是复制的 instance 和那个另外施事体经历了那个另外过程和那个运动%n是那个过程的subProcess 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 491-503	如果运动是 BloodCirculation 的 instance，然后有存在客体，另一个客体,，，第三客体， and 和第四客体这样那个客体是动物的 instance 和那个第四客体是血液的 instance 和移动那个运动 and 那个第四客体和那个第三客体是动脉的 instance 和那个另外客体是静脉的 instance 和那个第三客体是那个客体的 part 和那个另外客体是那个客体的 part 和那个第三客体%n是那个运动发生的path 和那个另外客体%n是那个运动发生的path
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.	Mid-level-ontology.kif 10010-10023	如果物理是 Diuretic 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个另外实体OC 这样那个第三实体是人类的 instance 和那个实体是移除的 instance 和那个另外实体是液体的 instance 和那个第三实体经历了那个实体和移动那个实体 and 那个另外实体和那个第三实体是那个另外实体的源头和那个第三实体 doesn't contains 那个另外实体OC 和那个实体在那个另外实体OC 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3706-3708	如果客体是家具的 instance，然后那个客体能够担当移动的角色做易位
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10742-10751	如果物理是心的 instance，然后那个物理的目的是有存在实体，那个物理B， and 和第三实体这样那个物理B 是 HeartBeat 的 instance 和那个实体是液体运动的 instance 和那个第三实体是血液的 instance 和移动那个实体 and 那个第三实体和那个物理B causes 那个实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11018-11023	如果运动是运动的 instance，然后有存在客体这样那个客体是客体的 instance 和移动那个运动 and 那个客体

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