AxisOfAnObject - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AxisOfAnObject BinaryPredicate)	Mid-level-ontology.kif 19320-19320	Axis of an object is a subclass of binary predicate
(documentation AxisOfAnObject EnglishLanguage "AxisOfAnObject is the Class of Predicates relating the Object and its axis which is a LineInSpace along it rotates. In (verticalAxis ?L ?O) ?L is the LineInSpace of Object ?O. For example, an Aircraft is free to rotate around three axes that are perpendicular to each other and intersect at its center of gravity.[Wikipedia]")	Mid-level-ontology.kif 19321-19325	Axis of an object is a subclass of binary predicate

appearance as argument number 2

(termFormat EnglishLanguage AxisOfAnObject "axis of an object")	Mid-level-ontology.kif 19326-19326
(instance verticalAxis AxisOfAnObject)	Mid-level-ontology.kif 19328-19328	vertical axis is an instance of axis of an object
(instance longitudinalAxis AxisOfAnObject)	Mid-level-ontology.kif 19351-19351	longitudinal axis is an instance of axis of an object
(instance transverseAxis AxisOfAnObject)	Mid-level-ontology.kif 19374-19374	transverse axis is an instance of axis of an object

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)))))

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