Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - rotationalAxis
rotationalAxis

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


(instance rotationalAxis CaseRole) Mid-level-ontology.kif 19400-19400 rotationalAxis is an instance of case role
(instance rotationalAxis PartialValuedRelation) Mid-level-ontology.kif 19401-19401 rotationalAxis is an instance of partial valued relation
(documentation rotationalAxis EnglishLanguage "rotationalAxis relates a Rotating with the axis it rotates about. The axis is a LineInSpace. (rotationalAxis ?R ?A)") Mid-level-ontology.kif 19402-19403 rotationalAxis is an instance of partial valued relation
(domain rotationalAxis 1 Rotating) Mid-level-ontology.kif 19406-19406 The number 1 argument of rotationalAxis is an instance of rotating
(domain rotationalAxis 2 LineInSpace) Mid-level-ontology.kif 19407-19407 The number 2 argument of rotationalAxis is an instance of line in space

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


(termFormat EnglishLanguage rotationalAxis "rotationalAxis") Mid-level-ontology.kif 19404-19404
(format EnglishLanguage rotationalAxis "%2 is the axis of %1") Mid-level-ontology.kif 19405-19405

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


(=>
    (and
        (instance ?R Rotating)
        (fulcrum ?R ?F)
        (lever ?R ?L)
        (rotationalAxis ?R ?X))
    (holdsDuring
        (WhenFn ?R)
        (exists (?P)
            (and
                (instance ?P PointInSpace)
                (part ?P ?X)
                (meetsSpatially ?P ?F)
                (meetsSpatially ?P ?L)))))		 Mid-level-ontology.kif 1582-1594 If X is an instance of rotating, Y is the lever of X, lever X and Z, and W is the axis of X, then there exists V such that V is an instance of point in space, V is a part of W, V meets Y, and V meets Z holds during the time of existence of X
(=>
    (and
        (verticalAxis ?X PlanetEarth)
        (instance ?R Rotating)
        (rotationalAxis ?R ?X)
        (betweenOnPath NorthPole ?C SouthPole ?X))
    (centerOfMass ?C PlanetEarth))		 Geography.kif 5276-5282 If X is the verticalAxis of planet earth, Y is an instance of rotating, X is the axis of Y, and Z is between North Pole and South Pole on path X, then Z is the centerOfMass of planet earth
(=>
    (and
        (instance ?V Aircraft)
        (instance ?R Rotating)
        (patient ?R ?V)
        (rotationalAxis ?R ?A)
        (transverseAxis ?A ?V)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (pitch ?V ?X))
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (pitch ?V ?Y)))
    (not
        (equal ?X ?Y)))		 Transportation.kif 3226-3238 If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the transverseAxis of X (6) X is heading at W degree from its level of plane axis. holds during the beginning of the time of existence of Y (7) X is heading at V degree from its level of plane axis. holds during the end of the time of existence of Y, then equal W and V
(=>
    (and
        (instance ?V Aircraft)
        (instance ?R Rotating)
        (patient ?R ?V)
        (rotationalAxis ?R ?A)
        (verticalAxis ?A ?V)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (yaw ?V ?X))
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (yaw ?V ?Y)))
    (not
        (equal ?X ?Y)))		 Transportation.kif 3265-3277 If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the verticalAxis of X (6) X is heading at W of its longitudinalAxis. holds during the beginning of the time of existence of Y (7) X is heading at V of its longitudinalAxis. holds during the end of the time of existence of Y, then equal W and V
(=>
    (and
        (instance ?V Aircraft)
        (instance ?R Rotating)
        (patient ?R ?V)
        (rotationalAxis ?R ?A)
        (longitudinalAxis ?A ?V)
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (roll ?V ?X))
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (roll ?V ?Y)))
    (not
        (equal ?X ?Y)))		 Transportation.kif 3306-3318 If All of the following hold: (1) X is an instance of aircraft (2) Y is an instance of rotating (3) X is a patient of Y (4) Z is the axis of Y (5) Z is the longitudinalAxis of X (6) X is rolling at W of its longitudinalAxis. holds during the beginning of the time of existence of Y (7) X is rolling at V of its longitudinalAxis. holds during the end of the time of existence of Y, then equal W and V

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


(=>
    (and
        (instance ?C FlightControlSurfaces)
        (part ?C ?F)
        (instance ?F Aircraft))
    (hasPurpose ?C
        (exists (?R ?X ?A)
            (and
                (instance ?R Rotating)
                (moves ?R ?F)
                (rotationalAxis ?R ?X)
                (instance ?A AxisOfAnObject)
                (?A ?X ?F)
                (instrument ?R ?C)))))		 Transportation.kif 3358-3371 If X is an instance of flight control surface, X is a part of Y, and Y is an instance of aircraft, then All of the following hold: (1) X has the purpose there exist Z, W (2) V such that Z is an instance of rotating (3) Y moves during Z (4) W is the axis of Z (5) V is an instance of axis of an object (6) V W (7) Y (8) X is an instrument for Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners