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 10320-10320
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 10318-10318 Motion is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4680-4680 The range of flow is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10400-10400 Body motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17878-17878 Closing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 1996-1996 Compressing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10565-10565 Direction change is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Cars.kif 2222-2222 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 10549-10549 Gas motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10494-10494 Geological process is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 5488-5488 Irrigating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10525-10525 Liquid motion is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10370-10370 Motion downward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10364-10364 Motion upward is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17871-17871 Opening is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14212-14212 Pulling is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14218-14218 Pushing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 12674-12674 Radiating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14118-14118 Reversing is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14046-14046 Rotating is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13740-13740 Stretching is a subclass of motion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6325-6325 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 10284-10284 The number 1 argument of moves is an instance of motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 10380-10380 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 1852-1870
No TPTP formula. May not be expressible in strict first order. Cars.kif 1831-1850
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 2744-2758
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 1271-1294
No TPTP formula. May not be expressible in strict first order. Merge.kif 10357-10362
No TPTP formula. May not be expressible in strict first order. Merge.kif 10341-10346
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 10323-10328

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22372-22384
No TPTP formula. May not be expressible in strict first order. Weather.kif 2049-2053
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3349-3359
No TPTP formula. May not be expressible in strict first order. Cars.kif 1852-1870
No TPTP formula. May not be expressible in strict first order. Cars.kif 1831-1850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14723-14757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26478-26489
No TPTP formula. May not be expressible in strict first order. Weather.kif 2123-2136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2634-2650
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 1395-1411
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21473-21488
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 3.0 is open source software produced by Articulate Software and its partners