Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PlaneAngleMeasure(plane angle measure)
|  | ALT, EL, acute, altitude, angle_of_attack, angle_of_dip, angle_of_extinction, angle_of_incidence, angle_of_reflection, angle_of_refraction, anomaly, azimuthal, celestial_latitude, circular_measure, critical_angle, cutting_angle, dec, declination, depression, diagonal, dip, elevation, exterior_angle, external_angle, extinction_angle, face_angle, grade, hour_angle, incidence, incidence_angle, inclination, interior_angle, internal_angle, lead, magnetic_declination, magnetic_dip, magnetic_inclination, magnetic_variation, normal, oblique, obtuse, obtuse_angle, perigon, pitch, plane_angle, rake, re-entrant, reentering_angle, reentrant, reentrant_angle... |
| appearance as argument number 1 |
|
|
| (subclass PlaneAngleMeasure AngleMeasure) | Merge.kif 6443-6443 | Plane angle measure is a subclass of angle measure |
| (documentation PlaneAngleMeasure EnglishLanguage "The value of an angle in a plane.") | Merge.kif 6445-6445 | Plane angle measure is a subclass of angle measure |
| (externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") | pictureList.kif 24-24 | Plane angle measure is a subclass of angle measure |
| appearance as argument number 2 |
|
|
| (disjoint SolidAngleMeasure PlaneAngleMeasure) | Merge.kif 6448-6448 | Solid angle measure is disjoint from plane angle measure |
| (range LatitudeFn PlaneAngleMeasure) | Geography.kif 1888-1888 | The range of latitude is an instance of plane angle measure |
| (range LongitudeFn PlaneAngleMeasure) | Geography.kif 1924-1924 | The range of longitude is an instance of plane angle measure |
| (range MagneticDeclinationFn PlaneAngleMeasure) | Geography.kif 5206-5206 | The range of magnetic declination is an instance of plane angle measure |
| (termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") | english_format.kif 1841-1841 | The range of magnetic declination is an instance of plane angle measure |
| appearance as argument number 3 |
|
|
| consequent |
|
|
| (=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7501-7503 | If equal X and Y angular degree(s), then X is an instance of plane angle measure |
|