TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TailPlane AirFoil)	Transportation.kif 3479-3479	Tail plane is a subclass of airfoil
(documentation TailPlane EnglishLanguage "A TailPlane, also known as a horizontal stabiliser, is a small lifting surface located on the tail (empennage) behind the main lifting surfaces of a fixed-wing aircraft.The tailplane comprises the tail-mounted fixed horizontal stabiliser and movable elevator. [Wikipedia]")	Transportation.kif 3480-3483	Tail plane is a subclass of airfoil
(typicallyContainsPart TailPlane Airplane)	Transportation.kif 3486-3486	A airplane typically has a part tail plane

appearance as argument number 2

(termFormat EnglishLanguage TailPlane "tail plane")	Transportation.kif 3484-3484
(names "horizontal stabiliser" TailPlane)	Transportation.kif 3485-3485	Tail plane has name "horizontal stabiliser"
(partTypes FlightElevator TailPlane)	Transportation.kif 3506-3506	Every flight elevator is a part of a tail plane

antecedent

(=>
    (and
        (instance ?T TailPlane)
        (part ?T ?P)
        (instance ?P Airplane))
    (part ?T
        (BackFn ?P)))

If X is an instance of tail plane, X is a part of Y, and Y is an instance of airplane, then X is a part of the back of Y

consequent

(=>
    (and
        (instance ?E FlightElevator)
        (member ?E ?P)
        (instance ?P Pair)
        (member ?F ?P)
        (not
            (equal ?E ?F)))
    (exists (?T)
        (and
            (instance ?T TailPlane)
            (located ?E ?T)
            (located ?F ?T)
            (orientation ?E ?F Left)
            (orientation ?F ?E Right))))

If X is an instance of flight elevator, X is a member of Y, Y is an instance of pair, Z is a member of Y, and equal X and Z, then there exists W such that W is an instance of tail plane, X is located at W, Z is located at W, X is left of to Z, and Z is right of to X