TreeView Knowledge Base Browser

appearance as argument number 1

(instance planeAngleMeasure TernaryPredicate)	Mid-level-ontology.kif 28137-28137	plane angle measure is an instance of ternary predicate
(documentation planeAngleMeasure EnglishLanguage "planeAngleMeasure is the angle between a LineInSpace which intersects a PlaneInSpace.")	Mid-level-ontology.kif 28138-28139	plane angle measure is an instance of ternary predicate
(domain planeAngleMeasure 1 LineInSpace)	Mid-level-ontology.kif 28142-28142	The number 1 argument of plane angle measure is an instance of line in space
(domain planeAngleMeasure 2 PlaneInSpace)	Mid-level-ontology.kif 28143-28143	The number 2 argument of plane angle measure is an instance of plane in space
(domain planeAngleMeasure 3 AngleMeasure)	Mid-level-ontology.kif 28144-28144	The number 3 argument of plane angle measure is an instance of angle measure
(relatedInternalConcept planeAngleMeasure bodyAngle)	Mid-level-ontology.kif 28145-28145	plane angle measure is internally related to body angle
(relatedInternalConcept planeAngleMeasure LevelPlaneFn)	Mid-level-ontology.kif 28146-28146	plane angle measure is internally related to level plane

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)

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: