Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngleMeasure
AngleMeasure

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 6225-6226
(externalImage AngleMeasure "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Angle_measure.svg") pictureList.kif 4500-4500
(subclass AngleMeasure ConstantQuantity) Merge.kif 6223-6223

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


(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6234-6234
(subclass SolidAngleMeasure AngleMeasure) Merge.kif 6238-6238
(termFormat ChineseLanguage AngleMeasure "角度测量") chinese_format.kif 1309-1309
(termFormat EnglishLanguage AngleMeasure "angle measure") english_format.kif 1835-1835

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


(domain LatitudeFn 2 AngleMeasure) Geography.kif 407-407
(domain LatitudeFn 3 AngleMeasure) Geography.kif 408-408
(domain LatitudeFn 4 AngleMeasure) Geography.kif 409-409
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447
(domain bodyAngle 3 AngleMeasure) Mid-level-ontology.kif 10214-10214

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


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


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