Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| longitudinalAxis |
| appearance as argument number 1 |
|
| (instance longitudinalAxis AxisOfAnObject) | Mid-level-ontology.kif 19351-19351 | longitudinal axis is an instance of axis of an object |
| (instance longitudinalAxis PartialValuedRelation) | Mid-level-ontology.kif 19352-19352 | longitudinal axis is an instance of partial valued relation |
| (documentation longitudinalAxis EnglishLanguage "longitudinalAxis is an axis drawn through the body of the vehicle from tail to nose corresponding to the normal direction of flight, or the direction the pilot faces, similar to a ship's waterline.The rotation about this axis is called roll.[Wikipedia]") | Mid-level-ontology.kif 19353-19355 | longitudinal axis is an instance of partial valued relation |
| (domain longitudinalAxis 1 LineInSpace) | Mid-level-ontology.kif 19358-19358 | The number 1 argument of longitudinal axis is an instance of line in space |
| (domain longitudinalAxis 2 Object) | Mid-level-ontology.kif 19359-19359 | The number 2 argument of longitudinal axis is an instance of object |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept verticalAxis longitudinalAxis) | Mid-level-ontology.kif 19337-19337 | vertical axis is internally related to longitudinal axis |
| (termFormat EnglishLanguage longitudinalAxis "longitudinal axis") | Mid-level-ontology.kif 19356-19356 | vertical axis is internally related to longitudinal axis |
| (format EnglishLanguage longitudinalAxis "%1 is the longitudinalAxis of %2") | Mid-level-ontology.kif 19357-19357 | vertical axis is internally related to longitudinal axis |
| (relatedInternalConcept transverseAxis longitudinalAxis) | Mid-level-ontology.kif 19360-19360 | transverse axis is internally related to longitudinal axis |
| antecedent |
|
|
| (=> (and (longitudinalAxis ?V ?O) (instance ?O Aircraft) (equal ?F (FrontFn ?O)) (equal ?B (BackFn ?O)) (centerOfMass ?C ?O) (part ?F ?V) (part ?B ?V) (part ?C ?V)) (between ?C ?F ?B)) |
Mid-level-ontology.kif 19362-19372 | If All of the following hold: (1) X is the longitudinalAxis of Y (2) Y is an instance of aircraft (3) equal Z and the front of Y (4) equal W and the back of Y (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 (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 (pitch ?V (MeasureFn ?X AngularDegree)) (instance ?V Aircraft)) (exists (?A ?B) (and (longitudinalAxis ?A ?V) (centerOfMass ?B ?V) (planeAngleMeasure ?A (LevelPlaneFn ?B PlanetEarth) (MeasureFn ?X AngularDegree))))) |
Transportation.kif 3240-3250 | If X is heading at Y angular degree(s) degree from its level of plane axis. and X is an instance of aircraft, then there exist Z and W such that Z is the longitudinalAxis of X and W is the centerOfMass of X and the angle between Z and the PlaneInSpace is perpendicular to the line formed by W and the centre of the AstronomicalBody. is Y angular degree(s) |
| (=> (and (yaw ?V (MeasureFn ?X AngularDegree)) (instance ?V Aircraft)) (exists (?A ?T ?P) (and (longitudinalAxis ?A ?V) (instance ?T Translocation) (patient ?T ?V) (path ?T ?P) (planeAngleMeasure ?A ?P (MeasureFn ?X AngularDegree))))) |
Transportation.kif 3279-3290 | If X is heading at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z, W and V such that Z is the longitudinalAxis of X and W is an instance of translocation and X is a patient of W and V is path along which W occurs and the angle between Z and V is Y angular degree(s) |
|