  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 (documentation PlaneAngleMeasure ChineseLanguage "这是平面一个角度的值。") chinese_format.kif 2427-2427 (documentation PlaneAngleMeasure EnglishLanguage "The value of an angle in a plane.") Merge.kif 5978-5978 (externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") pictureList.kif 24-24 (subclass PlaneAngleMeasure AngleMeasure) Merge.kif 5976-5976 Plane angle measure is a subclass of angle measure

 appearance as argument number 2 (disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 5981-5981 Solid angle measure is disjoint from plane angle measure (termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") chinese_format.kif 1310-1310 (termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") english_format.kif 1846-1846

 appearance as argument number 3 (domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4570-4570 The number 1 argument of cosine is an instance of plane angle measure (domain SineFn 1 PlaneAngleMeasure) Merge.kif 4919-4919 The number 1 argument of sine is an instance of plane angle measure (domain TangentFn 1 PlaneAngleMeasure) Merge.kif 4939-4939 The number 1 argument of tangent is an instance of plane angle measure (domain angularMeasure 2 PlaneAngleMeasure) Merge.kif 16617-16617 The number 2 argument of angular measure is an instance of plane angle measure (domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3654-3654 The number 3 argument of courseWRT compass north is an instance of plane angle measure (domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3625-3625 The number 3 argument of courseWRT magnetic north is an instance of plane angle measure (domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3562-3562 The number 3 argument of courseWRT true north is an instance of plane angle measure (domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3553-3553 The number 2 argument of headingWRT compass north is an instance of plane angle measure (domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3544-3544 The number 2 argument of headingWRT magnetic north is an instance of plane angle measure (domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3535-3535 The number 2 argument of headingWRT true north is an instance of plane angle measure (domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3607-3607 The number 2 argument of magnetic variation is an instance of plane angle measure (domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3665-3665 The number 3 argument of relative bearing is an instance of plane angle measure

 antecedent (=>     (instance ?DEGREE PlaneAngleMeasure)     (equal         (TangentFn ?DEGREE)         (DivisionFn             (SineFn ?DEGREE)             (CosineFn ?DEGREE)))) Merge.kif 4947-4949 If a plane angle measure is an instance of plane angle measure,then the tangent of the plane angle measure is equal to the sine of the plane angle measure and the cosine of the plane angle measure

 consequent (=>     (equal ?QUANT         (MeasureFn ?N AngularDegree))     (instance ?QUANT PlaneAngleMeasure)) Merge.kif 7026-7028 If a physical quantity is equal to a real number angular degree(s),then the physical quantity is an instance of plane angle measure Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view) Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners