Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyMotion

Sigma KEE - BodyMotion
BodyMotion(body motion)
V_sign, abduct, abseil, acrobatic_feat, acrobatic_stunt, act, act_involuntarily, act_reflexively, adduct, agape, agaze, akimbo, alight, anadromous, askance, askant, asquint, assume, astraddle, astride, back_circle, backbend, backhand, backhanded, bate, be_active, bear_down, beat, beck, bed, behave, behavior, behaviour, belly_flop, belly_flopper, belly_whop, belly_whopper, bend, bend_over_backwards, betake_oneself, blinking, blow, blunder, bob, body_English, boggle, bolt, bow, bow_down, bowing...

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 10972-10973
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1053-1053
No TPTP formula. May not be expressible in strict first order. Merge.kif 10970-10970 Body motion is a subclass of motion

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11014-11014 Ambulating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11036-11036 Chewing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4275-4275 Crawling is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11059-11059 Dancing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19346-19346 Dismounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 438-438 Dodging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12584-12584 Ducking is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. emotion.kif 1358-1358 Emotional bodily movement behavior is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10131-10131 Extension is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19286-19286 Eye motion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10107-10107 Flexion is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 12852-12852 Gesture is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10223-10223 HeartBeat is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12560-12560 Inclining is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 978-978 Indicating is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 536-536 Jumping is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19232-19232 KneelingDown is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19207-19207 Lying down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 458-458 Mounting is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10062-10062 MuscleRelaxing is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10040-10040 MuscularContraction is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5402-5402 Scratching is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19316-19316 Shrugging is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19252-19252 Sitting down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 550-550 Somersaulting is a subclass of body motion

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 10089-10105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9935-9941
No TPTP formula. May not be expressible in strict first order. Merge.kif 10986-10992
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7850-7864
No TPTP formula. May not be expressible in strict first order. Merge.kif 10995-11000

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29644-29655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10089-10105
No TPTP formula. May not be expressible in strict first order. emotion.kif 1202-1212
No TPTP formula. May not be expressible in strict first order. emotion.kif 1523-1533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6006-6019
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5985-5996
No TPTP formula. May not be expressible in strict first order. Merge.kif 17791-17801
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11645-11658


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