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


KB Term:  Term intersection
English Word: 

Sigma KEE - AngleMeasure
AngleMeasure(angle measure)
AZ, HA, RA, angle_of_inclination, angle_of_view, angular, angular_distance, angular_position, angular_unit, arcminute, arcsecond, azimuth, celestial_longitude, grad, grade, helix_angle, hour_angle, inclination, inclination_of_an_orbit, microradian, mil, milliradian, minute, minute_of_arc, orthogonal, oxtant, perpendicularity, phase, phase_angle, rectangular, right_ascension, second, sextant, straight_angle, true_anomaly, view_angle, wave_angle

appearance as argument number 1
-------------------------


(subclass AngleMeasure ConstantQuantity) Merge.kif 6432-6432 Angle measure is a subclass of constant quantity
(documentation AngleMeasure EnglishLanguage "The value of an angle in a plane or in a solid.") Merge.kif 6434-6435 Angle measure is a subclass of constant quantity
(externalImage AngleMeasure "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Angle_measure.svg") pictureList.kif 4498-4498 Angle measure is a subclass of constant quantity

appearance as argument number 2
-------------------------


(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6443-6443 Plane angle measure is a subclass of angle measure
(subclass SolidAngleMeasure AngleMeasure) Merge.kif 6447-6447 Solid angle measure is a subclass of angle measure
(termFormat EnglishLanguage AngleMeasure "angle measure") english_format.kif 1839-1839 Solid angle measure is a subclass of angle measure

appearance as argument number 3
-------------------------


(domain angularMeasure 2 AngleMeasure) Merge.kif 18232-18232 The number 2 argument of angular measure is an instance of angle measure
(domain bodyAngle 3 AngleMeasure) Mid-level-ontology.kif 12158-12158 The number 3 argument of body angle is an instance of angle measure
(domain planeAngleMeasure 3 AngleMeasure) Mid-level-ontology.kif 28144-28144 The number 3 argument of plane angle measure is an instance of angle measure
(domain LatitudeFn 2 AngleMeasure) Geography.kif 1887-1887 The number 2 argument of latitude is an instance of angle measure
(domain LongitudeFn 2 AngleMeasure) Geography.kif 1923-1923 The number 2 argument of longitude is an instance of angle measure
(domain angleOfFire 2 AngleMeasure) MilitaryDevices.kif 256-256 The number 2 argument of angle of fire is an instance of angle measure
(domain pitch 2 AngleMeasure) Transportation.kif 3223-3223 The number 2 argument of pitch is an instance of angle measure
(domain yaw 2 AngleMeasure) Transportation.kif 3262-3262 The number 2 argument of yaw is an instance of angle measure
(domain roll 2 AngleMeasure) Transportation.kif 3303-3303 The number 2 argument of roll is an instance of angle measure

consequent
-------------------------


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfAngularMeasure))
    (instance ?QUANT AngleMeasure))		 Merge.kif 6513-6517 If equal X Y(s) and Z and Y is an instance of unit of angular measure, then Z is an instance of 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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners