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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Motion
Motion(motion)
more pictures...
Alpinism, Brownian_motion, Brownian_movement, Diaspora, El_Nino, El_Nino_southern_oscillation, English, Frankenstein, Gulf_stream, Humboldt_current, Japan_current, K.E., Kuroshio, Kuroshio_current, Peruvian_current, abandonment, abduction, abeyance, abscondment, abseil, absence_without_leave, acceleration, access, access_code, action, active_transport, activeness, activity, address, adduction, adjust, advance, advancement, advancing, aflare, agglomerate, agitate, agitated, agitation, ahorse, ahorseback, air_flow, airflow, align, aline, amplitude, anabatic, anergy, angle, angry...

VerbNet: other_cos-45.4|agglomerate, modes_of_being_with_motion-47.3|stir, modes_of_being_with_motion-47.3|stir, escape-51.1|ascend, sound_emission-43.2|bang, body_internal_motion-49|flap, run-51.3.2|rush, put-9.1|wharf, entity_specific_modes_being-47.2|roil, run-51.3.2|bounce, run-51.3.2|bounce, escape-51.1|decamp, weather-57|clear, run-51.3.2|rush, modes_of_being_with_motion-47.3|stir, pelt-17.2|buffet, pelt-17.2|buffet, bulge-47.5.3|bulge, run-51.3.2|scram, bulge-47.5.3|bulge, bulge-47.5.3|bulge, shake-22.3|cluster, shake-22.3|cluster, shake-22.3|cluster, appear-48.1.1|burst, run-51.3.2|bustle, run-51.3.2|bustle, run-51.3.2|scram, run-51.3.2|rush, other_cos-45.4|tilt, other_cos-45.4|tilt, other_cos-45.4|capsize, run-51.3.2|carom, meander-47.7|cascade, meander-47.7|cascade, break-45.1|break, run-51.3.2|romp, spray-9.7|jam, entity_specific_modes_being-47.2|roil, fill-9.8|encircle, weather-57|clear, weather-57|clear, sound_emission-43.2|snap, other_cos-45.4|cloud, shake-22.3|cluster, shake-22.3|cluster, run-51.3.2|coast, modes_of_being_with_motion-47.3|undulate, body_internal_motion-49|wobble, body_internal_motion-49|gyrate, ...


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15054-15054
No TPTP formula. May not be expressible in strict first order. Merge.kif 15052-15052
No TPTP formula. May not be expressible in strict first order. Merge.kif 15056-15056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11484-11484 "http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11489-11489 "http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11492-11492 "http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11487-11487 "http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10155-10155 "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11483-11483 "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11490-11490 "http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11486-11486 "http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11485-11485 "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11488-11488 "http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11491-11491 "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg" is a URL depicting motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15050-15050 Motion is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4566-4566 The range of flow is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15154-15154 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19164 Closing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 1968-1968 Compressing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15407-15407 Direction change is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 2194-2194 Engine cranking is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 80-80 EngineCycle is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 202-202 Four stroke combustion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 186-186 Four stroke compression is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 219-219 Four stroke exhaust is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 166-166 Four stroke intake is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15381-15381 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15295-15295 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 5367-5367 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15345-15345 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15113-15113 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15101-15101 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19157-19157 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15175-15175 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15181-15181 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 17984-17984 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15071-15071 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15001-15001 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14718-14718 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6117-6117 Swarming is a subclass of motion

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 15000-15000 The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 15127-15127 The number 1 argument of path is an instance of motion

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1833-1851
No TPTP formula. May not be expressible in strict first order. Cars.kif 1812-1831
No TPTP formula. May not be expressible in strict first order. Cars.kif 773-785
No TPTP formula. May not be expressible in strict first order. Cars.kif 2711-2725
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 106-112
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 114-120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1719-1739
No TPTP formula. May not be expressible in strict first order. Merge.kif 15093-15098
No TPTP formula. May not be expressible in strict first order. Merge.kif 15077-15082
No TPTP formula. May not be expressible in strict first order. Transportation.kif 790-796
No TPTP formula. May not be expressible in strict first order. Transportation.kif 802-808
No TPTP formula. May not be expressible in strict first order. Transportation.kif 815-821
No TPTP formula. May not be expressible in strict first order. Transportation.kif 766-772
No TPTP formula. May not be expressible in strict first order. Merge.kif 15059-15064

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24148-24160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3953-3963
No TPTP formula. May not be expressible in strict first order. Cars.kif 1833-1851
No TPTP formula. May not be expressible in strict first order. Cars.kif 1812-1831
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15844-15878
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28404-28415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3163-3179
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 92-97
No TPTP formula. May not be expressible in strict first order. Cars.kif 280-289
No TPTP formula. May not be expressible in strict first order. Cars.kif 57-65
No TPTP formula. May not be expressible in strict first order. Cars.kif 1376-1392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23174-23189
No TPTP formula. May not be expressible in strict first order. Food.kif 644-651
No TPTP formula. May not be expressible in strict first order. Sports.kif 1096-1113
No TPTP formula. May not be expressible in strict first order. Sports.kif 1154-1165


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners