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

KB Term:  Term intersection
English Word: 

Sigma KEE - verticalAxis
verticalAxis

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


(instance verticalAxis AxisOfAnObject) Mid-level-ontology.kif 19328-19328 vertical axis is an instance of axis of an object
(instance verticalAxis PartialValuedRelation) Mid-level-ontology.kif 19329-19329 vertical axis is an instance of partial valued relation
(documentation verticalAxis EnglishLanguage "verticalAxis has its origin at the center of gravity and is directed towards the bottom of the Aircraft, perpendicular to the wings and to the fuselage reference line. Motion about this axis is called yaw.[Wikipedia]") Mid-level-ontology.kif 19330-19332 vertical axis is an instance of partial valued relation
(domain verticalAxis 1 LineInSpace) Mid-level-ontology.kif 19335-19335 The number 1 argument of vertical axis is an instance of line in space
(domain verticalAxis 2 Object) Mid-level-ontology.kif 19336-19336 The number 2 argument of vertical axis is an instance of object
(relatedInternalConcept verticalAxis longitudinalAxis) Mid-level-ontology.kif 19337-19337 vertical axis is internally related to longitudinal axis

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


(termFormat EnglishLanguage verticalAxis "vertical axis") Mid-level-ontology.kif 19333-19333
(format EnglishLanguage verticalAxis "%1 is the verticalAxis of %2") Mid-level-ontology.kif 19334-19334
(relatedInternalConcept transverseAxis verticalAxis) Mid-level-ontology.kif 19383-19383 transverse axis is internally related to vertical axis

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


(=>
    (and
        (verticalAxis ?V ?O)
        (instance ?O Aircraft)
        (top ?T ?O)
        (bottom ?B ?O)
        (centerOfMass ?C ?O)
        (part ?T ?V)
        (part ?B ?V)
        (part ?C ?V))
    (between ?C ?T ?B))		 Mid-level-ontology.kif 19339-19349 If All of the following hold: (1) X is the verticalAxis of Y (2) Y is an instance of aircraft (3) the top of Y is Z (4) the bottom of Y is W (5) V is the centerOfMass of Y (6) Z is a part of X (7) W is a part of X (8) V is a part of X, then Z is between V and W
(=>
    (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)
        (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


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners