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...

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 11153-11153
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11450-11450
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11455-11455
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11458-11458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11453-11453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10132-10132
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11449-11449
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11456-11456
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11452-11452
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11451-11451
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11454-11454
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11457-11457
No TPTP formula. May not be expressible in strict first order. Merge.kif 11151-11151 Motion is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5148-5148 The range of flow is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11232-11232 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23143-23143 Closing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 1966-1966 Compressing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11424-11424 Direction change is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 2192-2192 Engine cranking is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 80-80 Engine cycle 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 11382-11382 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11327-11327 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6009-6009 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11358-11358 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11203-11203 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11197-11197 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23136-23136 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19158-19158 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19164 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 13799-13799 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19064-19064 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18992-18992 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18520-18520 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 7132-7132 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 11117-11117 The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11213-11213 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Weather.kif 316-316 The number 2 argument of wind driven motion is an instance of motion

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1822-1840
No TPTP formula. May not be expressible in strict first order. Cars.kif 1801-1820
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
No TPTP formula. May not be expressible in strict first order. Cars.kif 2714-2728
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 85-91
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 93-99
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1549-1572
No TPTP formula. May not be expressible in strict first order. Merge.kif 11190-11195
No TPTP formula. May not be expressible in strict first order. Merge.kif 11174-11179
No TPTP formula. May not be expressible in strict first order. Transportation.kif 801-807
No TPTP formula. May not be expressible in strict first order. Transportation.kif 813-819
No TPTP formula. May not be expressible in strict first order. Transportation.kif 826-832
No TPTP formula. May not be expressible in strict first order. Transportation.kif 777-783
No TPTP formula. May not be expressible in strict first order. Merge.kif 11156-11161

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28057-28069
No TPTP formula. May not be expressible in strict first order. Weather.kif 2885-2889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3859-3869
No TPTP formula. May not be expressible in strict first order. Cars.kif 1822-1840
No TPTP formula. May not be expressible in strict first order. Cars.kif 1801-1820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19721-19755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32173-32184
No TPTP formula. May not be expressible in strict first order. Weather.kif 2959-2972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3161-3177
No TPTP formula. May not be expressible in strict first order. Medicine.kif 538-554
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 71-76
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. Mid-level-ontology.kif 19413-19431
No TPTP formula. May not be expressible in strict first order. Cars.kif 1381-1397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26945-26960
No TPTP formula. May not be expressible in strict first order. Food.kif 2610-2617
No TPTP formula. May not be expressible in strict first order. engineering.kif 939-949
No TPTP formula. May not be expressible in strict first order. Sports.kif 1260-1277
No TPTP formula. May not be expressible in strict first order. Sports.kif 1318-1329


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