Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

plane angle measure (PlaneAngleMeasure)

The value of an angle in a plane.

Ontology

SUMO / UNITS-OF-MEASURE

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  angle measure  
is subclass of
  plane angle measure  

Subclass(es)

radian  angular degree 

Coordinate term(s)

solid angle measure 

Constrains relations

arc cosine fn  arc sine fn  arc tangent fn  cosine fn  sine fn  tangent fn 

Related WordNet synsets

plane angle
an angle formed by two straight lines (in the same plane)
plane angle is kind of (all)...   plane angle is kind of...  
See more related synsets on a separate page.

Axioms (2)

If degree is an instance of plane angle measure, then "the tangent of degree" is equal to ""the sine of degree"/"the cosine of degree"". 
(=>
      (instance ?DEGREE PlaneAngleMeasure)
      (equal
            (TangentFn ?DEGREE)
            (DivisionFn
                  (SineFn ?DEGREE)
                  (CosineFn ?DEGREE))))
solid angle measure is disjoint from plane angle measure. 
(disjoint SolidAngleMeasure PlaneAngleMeasure)