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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AngleMeasure

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 6227-6228
(externalImage AngleMeasure "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Angle_measure.svg") pictureList.kif 4500-4500
(subclass AngleMeasure ConstantQuantity) Merge.kif 6225-6225 角度测量恒量subclass

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


(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6236-6236 平面角度测量角度测量subclass
(subclass SolidAngleMeasure AngleMeasure) Merge.kif 6240-6240 立体角度测量角度测量subclass
(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 纬度 的 2 数量 是 角度测量instance
(domain LatitudeFn 3 AngleMeasure) Geography.kif 408-408 纬度 的 3 数量 是 角度测量instance
(domain LatitudeFn 4 AngleMeasure) Geography.kif 409-409 纬度 的 4 数量 是 角度测量instance
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445 经度 的 2 数量 是 角度测量instance
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446 经度 的 3 数量 是 角度测量instance
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447 经度 的 4 数量 是 角度测量instance
(domain bodyAngle 3 AngleMeasure) Mid-level-ontology.kif 10263-10263 bodyAngle 的 3 数量 是 角度测量instance

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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