Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Palestine

 Sigma KEE - PlaneAngleMeasure
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
-------------------------


(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4913-4913 The number 1 argument of cosine is an instance of plane angle measure
(domain objectGeographicCoordinates 2 PlaneAngleMeasure) Geography.kif 1667-1667 The number 2 argument of object geographic coordinates is an instance of plane angle measure
(domain objectGeographicCoordinates 3 PlaneAngleMeasure) Geography.kif 1668-1668 The number 3 argument of object geographic coordinates is an instance of plane angle measure
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 5125-5125 The number 2 argument of headingWRT true north is an instance of plane angle measure
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 5134-5134 The number 2 argument of headingWRT magnetic north is an instance of plane angle measure
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 5143-5143 The number 2 argument of headingWRT compass north is an instance of plane angle measure
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 5152-5152 The number 3 argument of courseWRT true north is an instance of plane angle measure
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 5322-5322 The number 3 argument of courseWRT magnetic north is an instance of plane angle measure
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 5354-5354 The number 3 argument of courseWRT compass north is an instance of plane angle measure
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 5365-5365 The number 3 argument of relative bearing is an instance of plane angle measure

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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners