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 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2427-2427 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6326-6326 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1117-1117 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 24-24 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6324-6324 | Plane angle measure is a subclass of angle measure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6329-6329 | Solid angle measure is disjoint from plane angle measure |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1310-1310 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1837-1837 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 988-988 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 523-523 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 527-527 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2672-2672 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 940-940 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 529-529 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 563-563 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1009-1009 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 528-528 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | The number 1 argument of cosine is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3819-3819 | The number 3 argument of courseWRT compass north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3787-3787 | The number 3 argument of courseWRT magnetic north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3724-3724 | The number 3 argument of courseWRT true north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3715-3715 | The number 2 argument of headingWRT compass north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3706-3706 | The number 2 argument of headingWRT magnetic north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3697-3697 | The number 2 argument of headingWRT true north is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3769-3769 | The number 2 argument of magnetic variation is an instance of plane angle measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3830-3830 | The number 3 argument of relative bearing is an instance of plane angle measure |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7363-7365 |
|