Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VerticalStabilizer(vertical stabilizer) |
| appearance as argument number 1 |
|
| (subclass VerticalStabilizer AirFoil) | Transportation.kif 3613-3613 | Vertical stabilizer is a subclass of airfoil |
| (documentation VerticalStabilizer EnglishLanguage "The VerticalStabilizeror or tail fin is the static part of the vertical tail of an aircraft.The vertical tail of an aircraft typically consists of a fixed vertical stabilizer or fin on which a movable rudder is mounted.[Wikipedia]") | Transportation.kif 3614-3617 | Vertical stabilizer is a subclass of airfoil |
| (typicallyContainsPart VerticalStabilizer Airplane) | Transportation.kif 3619-3619 | A airplane typically has a part vertical stabilizer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VerticalStabilizer "vertical stabilizer") | Transportation.kif 3618-3618 | |
| (partTypes FlightRudder VerticalStabilizer) | Transportation.kif 3644-3644 | Every flight rudder is a part of a vertical stabilizer |
| antecedent |
|
|
| (=> (and (instance ?V VerticalStabilizer) (part ?V ?P) (instance ?P Airplane)) (orientation ?V (BackFn ?P) Vertical)) |
Transportation.kif 3621-3627 | If X is an instance of vertical stabilizer, X is a part of Y, and Y is an instance of airplane, then X is vertical to to the back of Y |
|