BodyMotion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3002-3003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11096-11097
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1765-1766
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	身体运动是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	走动是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 447-447	Blinking 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11551-11551	咀嚼是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4381-4381	Crawling 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11183-11183	跳舞是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19999-19999	拆卸是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 445-445	躲着是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13119-13119	回避是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1358-1358	EmotionalBodilyMovementBehavior 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10619-10619	Extension 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19939-19939	眼球运动是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10595-10595	Flexion 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13092-13092	手势是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10714-10714	HeartBeat 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13095-13095	倾斜是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1017-1017	指示是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 543-543	跳跃是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19885-19885	KneelingDown 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19860-19860	躺着是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 465-465	安装是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10550-10550	MuscleRelaxing 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10528-10528	MuscularContraction 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5714-5714	Scratching 是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19969-19969	耸肩是身体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19905-19905	坐下是身体运动的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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 10404-10410	如果客体是肌肉的 instance 和过程是身体运动的 instance 和那个客体是导致那个过程的 instrument 和那个过程是有意图过程的 instance，然后那个客体是 VoluntaryMuscle 的 instance
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.	Mid-level-ontology.kif 8243-8257	如果过程是娱乐或锻炼的 instance 和那个过程M 是导致那个过程的 instrument 和那个过程M 是 RowingMachine 的 instance 和施事体经历了那个过程和那个过程OW 是划船的 instance 和那个过程MOT%n是那个过程的subProcess 和类是身体运动的 subclass 和那个过程MOT 是那个类的 instance，然后有存在那个过程OWMOT 这样那个过程OWMOT 是那个类的 instance 和那个过程OWMOT%n是那个过程的subProcess 和那个施事体是那个过程OWMOT 的 agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11119-11124	如果过程是身体运动的 instance，然后有存在施事体这样那个施事体是生物的 instance 和那个施事体是那个过程的 agent

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	如果 AVPUPainStatus 是施事体的 attribute 在时距 holdsDuring 和过程是痛的 instance 和那个过程出现的 time 在那个时距时段内发生和那个施事体经历了那个过程，然后有存在另一个过程这样那个另外过程是身体运动的 instance 和那个施事体经历了那个另外过程和那个另外过程出现的 time 在那个时距时段内发生和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	如果施事体是施事体的 instance 和 Motionless 是那个施事体的 attribute 在时距 holdsDuring，然后不存在过程这样那个过程是身体运动的 instance 和那个过程是有意图过程的 instance 和那个施事体是那个过程的 agent 和那个过程出现的 time 在那个时距时段内发生
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.	emotion.kif 1202-1212	如果过程是 PressingLipsTogether 的 instance 和施事体是那个过程的 agent，然后有存在客体和另一个过程这样那个客体是唇的 instance 和那个客体是那个施事体的 part 和那个另外过程是身体运动的 instance 和那个客体是那个另外过程的 patient 和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	如果过程是说话的 instance 和客体是 Jaw 的 instance 和施事体是那个过程的 agent 和那个客体是那个施事体的 part，然后有存在实体这样那个实体是身体运动的 instance 和 objectTransferred 那个实体 and 那个客体和那个实体出现的 time 在那个过程出现的 time 时段内发生的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	如果过程是 StayingStill 的 instance 和施事体经历了那个过程，然后不存在另一个过程和第三过程这样那个另外过程是身体运动的 instance 和那个第三过程是易位的 instance 和那个另外过程 causes 那个第三过程和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6330-6344	如果实体是 ParalysisFn 那个实体ART 的 instance 是施事体的 attribute，然后有存在另一个客体这样那个另外客体是肌肉的 instance 和那个另外客体是那个实体ART 的 part 和那个实体ART 是那个施事体的 part 和不存在过程这样那个过程是身体运动的 instance 和那个施事体是那个过程的 agent 和那个另外客体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6307-6318	如果麻痹是施事体的 attribute，然后有存在客体这样那个客体是肌肉的 instance 和那个客体是那个施事体的 part 和不存在过程这样那个过程是身体运动的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18047-18057	如果施事体是动物的 instance，然后有存在过程这样那个过程是身体运动的 instance 和那个施事体是那个过程的 agent 或有存在属性这样那个属性是身体姿势的 instance 和那个属性是那个施事体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12163-12176	如果物理是眼皮的 instance，然后那个物理的目的是有存在那个物理YE，另一个实体， and 和第三实体这样那个第三实体是遮盖的 instance 和那个第三实体是身体运动的 instance 和那个另外实体是人类的 instance 和那个另外实体经历了那个第三实体和那个物理是导致那个第三实体的 instrument 和那个物理YE 是那个第三实体的 patient 和那个物理YE 是眼睛的 instance 和那个物理YE 是那个另外实体的 part 和那个物理是那个另外实体的 part

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: