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

Formal Language: 



KB Term:  Term intersection
English Word: 

  angularMeasure

Sigma KEE - angularMeasure
angularMeasure

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


(documentation angularMeasure ChineseLanguage "(angularMeasure ?ANGLE ?MEASURE)的意思是 二维几何角度 ?ANGLE 的 PlaneAngleMeasure 是 ?MEASURE。") chinese_format.kif 3993-3994
(documentation angularMeasure EnglishLanguage "(angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has the PlaneAngleMeasure of ?MEASURE.") Merge.kif 16682-16684
(domain angularMeasure 1 TwoDimensionalAngle) Merge.kif 16680-16680 The number 1 argument of angular measure is an instance of two dimensional angle
(domain angularMeasure 2 PlaneAngleMeasure) Merge.kif 16681-16681 The number 2 argument of angular measure is an instance of plane angle measure
(instance angularMeasure BinaryPredicate) Merge.kif 16678-16678 angular measure is an instance of binary predicate
(instance angularMeasure TotalValuedRelation) Merge.kif 16679-16679 angular measure is an instance of total valued relation

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


(format ChineseLanguage angularMeasure "%2 %n 是 %1 的 angular 量测") domainEnglishFormat.kif 144-144
(format ChineseTraditionalLanguage angularMeasure "%2 %n 是 %1 的 angular 量測") domainEnglishFormat.kif 143-143
(format EnglishLanguage angularMeasure "%2 is %n an angular measure of %1") domainEnglishFormat.kif 142-142
(termFormat ChineseLanguage angularMeasure "圆周角度测量") domainEnglishFormat.kif 7553-7553
(termFormat ChineseTraditionalLanguage angularMeasure "圓周角度測量") domainEnglishFormat.kif 7552-7552
(termFormat EnglishLanguage angularMeasure "angular measure") domainEnglishFormat.kif 7551-7551

antecedent
-------------------------


(=>
    (and
        (instance ?A AcuteAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (lessThan ?N 90))
Mid-level-ontology.kif 5182-5186
(=>
    (and
        (instance ?A ObliqueAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (greaterThan ?N 90))
Mid-level-ontology.kif 5163-5167

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