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. chinese_format.kif 2997-2997
No TPTP formula. May not be expressible in strict first order. Merge.kif 10262-10262
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11484-11484
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11489-11489
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11492-11492
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11487-11487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10155-10155
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11483-11483
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11490-11490
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11486-11486
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11485-11485
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11488-11488
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11491-11491
No TPTP formula. May not be expressible in strict first order. Merge.kif 10260-10260 Motion is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4580-4580 The range of flow is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10342-10342 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19227-19227 Closing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 1969-1969 Compressing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10507-10507 Direction change is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 2195-2195 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 10491-10491 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10436-10436 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 5382-5382 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10467-10467 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10312-10312 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10306-10306 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19220-19220 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15227-15227 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15233-15233 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 12622-12622 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15123-15123 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15053-15053 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14770-14770 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6133-6133 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 10226-10226 The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10322-10322 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 1834-1852
No TPTP formula. May not be expressible in strict first order. Cars.kif 1813-1832
No TPTP formula. May not be expressible in strict first order. Cars.kif 774-786
No TPTP formula. May not be expressible in strict first order. Cars.kif 2715-2729
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 107-113
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 115-121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1720-1740
No TPTP formula. May not be expressible in strict first order. Merge.kif 10299-10304
No TPTP formula. May not be expressible in strict first order. Merge.kif 10283-10288
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 10265-10270

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24212-24224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3955-3965
No TPTP formula. May not be expressible in strict first order. Cars.kif 1834-1852
No TPTP formula. May not be expressible in strict first order. Cars.kif 1813-1832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15896-15930
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28464-28475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3164-3180
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 93-98
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 1377-1393
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23238-23253
No TPTP formula. May not be expressible in strict first order. Food.kif 599-606
No TPTP formula. May not be expressible in strict first order. Sports.kif 1098-1115
No TPTP formula. May not be expressible in strict first order. Sports.kif 1156-1167


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