Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LevelPlaneFn |
| appearance as argument number 1 |
|
| (instance LevelPlaneFn BinaryFunction) | Mid-level-ontology.kif 28058-28058 | Level plane is an instance of binary function |
| (instance LevelPlaneFn SpatialRelation) | Mid-level-ontology.kif 28059-28059 | Level plane is an instance of spatial relation |
| (documentation LevelPlaneFn EnglishLanguage "LevelPlaneFn is a Function that takes a PointInSpace of a Region and an AstronomicalBody and denotes the Plane that is perpendicular to the line formed by the PointInSpace and center of the AstronomicalBody.") | Mid-level-ontology.kif 28060-28062 | Level plane is an instance of spatial relation |
| (domain LevelPlaneFn 1 PointInSpace) | Mid-level-ontology.kif 28066-28066 | The number 1 argument of level plane is an instance of point in space |
| (domain LevelPlaneFn 2 AstronomicalBody) | Mid-level-ontology.kif 28067-28067 | The number 2 argument of level plane is an instance of astronomical body |
| (range LevelPlaneFn PlaneInSpace) | Mid-level-ontology.kif 28068-28068 | The range of level plane is an instance of plane in space |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LevelPlaneFn "level plane") | Mid-level-ontology.kif 28063-28063 | |
| (format EnglishLanguage LevelPlaneFn "the PlaneInSpace is perpendicular to the line formed by %1 and the centre of the AstronomicalBody.") | Mid-level-ontology.kif 28064-28065 | |
| (relatedInternalConcept planeAngleMeasure LevelPlaneFn) | Mid-level-ontology.kif 28146-28146 | plane angle measure is internally related to level plane |
| antecedent |
|
|
| (=> (and (equal ?PLANE (LevelPlaneFn ?P ?A)) (part ?P ?R) (instance ?R Region) (located ?R ?A)) (exists (?L) (and (instance ?L LineInSpace) (endPointsOfLineInSpace ?P (CenterOfPlanetFn ?A) ?L) (orientation ?PLANE ?L RightAngle)))) |
Mid-level-ontology.kif 28070-28082 | If equal X, the PlaneInSpace is perpendicular to the line formed by Y, and the centre of the AstronomicalBody., Y is a part of Z, Z is an instance of region, and Z is located at W, then there exists V such that V is an instance of line in space, Y, the centre of AstronomicalBody W is are end points of V, and X is at a right angle to to V |
| 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 (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) |
|