Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rotating
Rotating(rotating)
bob, brandish, circle, circle_around, circle_round, circular, circulate, eddy, evert, flourish, go_around, gyrate, jiggle, joggle, loop, orbitual, pivot, purl, reel, revolve, revolve_around, rock, roll, rotary, rotary_motion, rotate, rotation, shake, shifting, shifty, spin, spin_around, sway, swirl, transit, turn, turn_over, turned, turnout, twiddle, twirl, wave, whirl, whirlpool, wiggle

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16936-16937
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6832-6832
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7770-7770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7771-7771
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7772-7772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16935-16935 Rotating is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16976-16976 Centrifugal motion is a subclass of rotating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16992-16992 Centripetal motion is a subclass of rotating
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1662-1662 ScrollWheelRotating is a subclass of rotating
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16952-16952 Tremor is a subclass of rotating
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50469-50469
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50468-50468
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50467-50467

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 2103-2103 The number 1 argument of RotationFn is an instance of rotating

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 617-627
No TPTP formula. May not be expressible in strict first order. Cars.kif 639-649
No TPTP formula. May not be expressible in strict first order. Cars.kif 4930-4945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16939-16950
No TPTP formula. May not be expressible in strict first order. Cars.kif 2114-2133
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
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. Cars.kif 4304-4317
No TPTP formula. May not be expressible in strict first order. Economy.kif 5041-5052
No TPTP formula. May not be expressible in strict first order. Cars.kif 1292-1307
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16962-16974
No TPTP formula. May not be expressible in strict first order. Cars.kif 2346-2380
No TPTP formula. May not be expressible in strict first order. Cars.kif 1639-1645
No TPTP formula. May not be expressible in strict first order. Cars.kif 1652-1658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16981-16990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16996-17005
No TPTP formula. May not be expressible in strict first order. Weather.kif 560-570
No TPTP formula. May not be expressible in strict first order. Cars.kif 2274-2286
No TPTP formula. May not be expressible in strict first order. Cars.kif 2325-2337
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4105-4113
No TPTP formula. May not be expressible in strict first order. Cars.kif 2215-2230
No TPTP formula. May not be expressible in strict first order. Cars.kif 2239-2247
No TPTP formula. May not be expressible in strict first order. Cars.kif 4591-4607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14795-14803
No TPTP formula. May not be expressible in strict first order. Cars.kif 2293-2308
No TPTP formula. May not be expressible in strict first order. engineering.kif 781-783
No TPTP formula. May not be expressible in strict first order. Cars.kif 4022-4031
No TPTP formula. May not be expressible in strict first order. Cars.kif 4614-4646
No TPTP formula. May not be expressible in strict first order. Cars.kif 4153-4161

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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