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 10999-10999
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 11465-11465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11470-11470
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 11468-11468
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10136-10136
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11464-11464
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11471-11471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11467-11467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11466-11466
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11469-11469
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. Merge.kif 10997-10997 Motion is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4872-4872 The range of flow is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11078-11078 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21475-21475 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 11244-11244 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 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 11228-11228 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11173-11173 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 5684-5684 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11204-11204 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11049-11049 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11043-11043 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21468-21468 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17579-17579 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17585-17585 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 13615-13615 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17485-17485 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17413-17413 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17105-17105 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6773-6773 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 10963-10963 The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11059-11059 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 1304-1327
No TPTP formula. May not be expressible in strict first order. Merge.kif 11036-11041
No TPTP formula. May not be expressible in strict first order. Merge.kif 11020-11025
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 11002-11007

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26091-26103
No TPTP formula. May not be expressible in strict first order. Weather.kif 2056-2060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3388-3398
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 18099-18133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30172-30183
No TPTP formula. May not be expressible in strict first order. Weather.kif 2130-2143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2670-2686
No TPTP formula. May not be expressible in strict first order. Medicine.kif 548-564
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 25215-25230
No TPTP formula. May not be expressible in strict first order. Food.kif 2603-2610
No TPTP formula. May not be expressible in strict first order. Sports.kif 1246-1263
No TPTP formula. May not be expressible in strict first order. Sports.kif 1304-1315


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