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 10885-10885
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11473-11473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11478-11478
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11481-11481
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11476-11476
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10144-10144
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11472-11472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11479-11479
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11475-11475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11474-11474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11477-11477
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11480-11480
No TPTP formula. May not be expressible in strict first order. Merge.kif 10883-10883 Motion is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4792-4792 The range of flow is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10964-10964 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20819-20819 Closing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 1982-1982 Compressing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11129-11129 Direction change is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 2208-2208 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 11113-11113 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11058-11058 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 5603-5603 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11089-11089 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10935-10935 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10929-10929 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20812-20812 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17024-17024 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17030-17030 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 13399-13399 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16930-16930 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16858-16858 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16552-16552 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6483-6483 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 10849-10849 The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10945-10945 The number 1 argument of path is an instance of motion
No TPTP formula. May not be expressible in strict first order. Weather.kif 328-328 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 1838-1856
No TPTP formula. May not be expressible in strict first order. Cars.kif 1817-1836
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 2730-2744
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 1289-1312
No TPTP formula. May not be expressible in strict first order. Merge.kif 10922-10927
No TPTP formula. May not be expressible in strict first order. Merge.kif 10906-10911
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 10888-10893

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25526-25538
No TPTP formula. May not be expressible in strict first order. Weather.kif 2055-2059
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3368-3378
No TPTP formula. May not be expressible in strict first order. Cars.kif 1838-1856
No TPTP formula. May not be expressible in strict first order. Cars.kif 1817-1836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17535-17569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29633-29644
No TPTP formula. May not be expressible in strict first order. Weather.kif 2129-2142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2653-2669
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. Cars.kif 1381-1397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24615-24630
No TPTP formula. May not be expressible in strict first order. Food.kif 581-588
No TPTP formula. May not be expressible in strict first order. Sports.kif 1174-1191
No TPTP formula. May not be expressible in strict first order. Sports.kif 1232-1243


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