Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| planeAngleMeasure |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage planeAngleMeasure "plane angle measure") | Mid-level-ontology.kif 28140-28140 | |
| (format EnglishLanguage planeAngleMeasure "the angle between %1 and %2 is %3") | Mid-level-ontology.kif 28141-28141 |
| antecedent |
|
|
| (=> (planeAngleMeasure ?L ?P ?A) (exists (?D) (and (instance ?D PointInSpace) (part ?D ?L) (part ?D ?P)))) |
Mid-level-ontology.kif 28148-28154 | If the angle between X and Y is Z, then there exists W such that W is an instance of point in space, W is a part of X, and W is a part of Y |
| consequent |
|
|
| (=> (and (angleOfFire ?S ?A) (instrument ?S ?G) (instance ?G Gun) (part ?B ?G) (instance ?B GunBarrel) (instance ?L FiniteLineInSpace) (endPointsOfLineInSpace ?P1 ?P2 ?L) (objectEnds ?P1 ?P2 ?B) (eventLocated ?S ?R) (instance ?R GeographicArea) (part ?P ?R)) (planeAngleMeasure ?L (LevelPlaneFn ?P PlanetEarth) ?A)) |
MilitaryDevices.kif 258-272 | If All of the following hold: (1) the angleOfFire of X Y is Y (2) Z is an instrument for X (3) Z is an instance of gun (4) W is a part of Z (5) W is an instance of gun barrel (6) V is an instance of finite line in space (7) U and T are end points of V (8) U and T are the end PointInSpace of object W (9) X is located at S (10) S is an instance of geographic area (11) R is a part of S, then the angle between V, the PlaneInSpace is perpendicular to the line formed by R, and the centre of the AstronomicalBody. is Y |
| (=> (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) |
| (=> (and (roll ?V (MeasureFn ?X AngularDegree)) (instance ?V Aircraft)) (exists (?A ?B) (and (transverseAxis ?A ?V) (centerOfMass ?B ?V) (planeAngleMeasure ?A (LevelPlaneFn ?B PlanetEarth) (MeasureFn ?X AngularDegree))))) |
Transportation.kif 3320-3330 | If X is rolling at Y angular degree(s) of its longitudinalAxis. and X is an instance of aircraft, then there exist Z and W such that Z is the transverseAxis 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) |
|