Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation AngleMeasure ChineseLanguage "这是平面或固体一个角度的值。") chinese_format.kif 2424-2424
(documentation AngleMeasure EnglishLanguage "The value of an angle in a plane or in a solid.") Merge.kif 6315-6316
(documentation AngleMeasure JapaneseLanguage "平面または固体内の角度の値。") japanese_format.kif 1113-1113
(externalImage AngleMeasure "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Angle_measure.svg") pictureList.kif 4499-4499
(subclass AngleMeasure ConstantQuantity) Merge.kif 6313-6313 Angle measure is a subclass of constant quantity

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


(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6324-6324 Plane angle measure is a subclass of angle measure
(subclass SolidAngleMeasure AngleMeasure) Merge.kif 6328-6328 Solid angle measure is a subclass of angle measure
(termFormat ChineseLanguage AngleMeasure "角度测量") chinese_format.kif 1309-1309
(termFormat EnglishLanguage AngleMeasure "angle measure") english_format.kif 1835-1835
(termFormat FrenchLanguage AngleMeasure "mesure d'angle") french_format.kif 987-987
(termFormat Hindi AngleMeasure "koNa maapa") terms-hindi.txt 522-522
(termFormat ItalianLanguage AngleMeasure "MisuraAngolare") terms-it.txt 526-526
(termFormat JapaneseLanguage AngleMeasure "角度測定") japanese_format.kif 2671-2671
(termFormat PortugueseLanguage AngleMeasure "Medida de Angulo") portuguese_format.kif 939-939
(termFormat cb AngleMeasure "anggulong sukod") terms-cb.txt 528-528
(termFormat cz AngleMeasure "angle measure") terms-cz.txt 562-562
(termFormat ro AngleMeasure "mãsurã angularã") relations-ro.kif 1008-1008
(termFormat tg AngleMeasure "sukat ng anggulo") terms-tg.txt 527-527

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


(domain LatitudeFn 2 AngleMeasure) Geography.kif 407-407 The number 2 argument of latitude is an instance of angle measure
(domain LatitudeFn 3 AngleMeasure) Geography.kif 408-408 The number 3 argument of latitude is an instance of angle measure
(domain LatitudeFn 4 AngleMeasure) Geography.kif 409-409 The number 4 argument of latitude is an instance of angle measure
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445 The number 2 argument of longitude is an instance of angle measure
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446 The number 3 argument of longitude is an instance of angle measure
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447 The number 4 argument of longitude is an instance of angle measure
(domain bodyAngle 3 AngleMeasure) Mid-level-ontology.kif 10705-10705 The number 3 argument of body angle is an instance of angle measure

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfAngularMeasure))
    (instance ?QUANT AngleMeasure))
Merge.kif 6394-6398


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 is open source software produced by Articulate Software and its partners