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 ?MEASURE.") Merge.kif 17869-17870
(domain angularMeasure 1 TwoDimensionalAngle) Merge.kif 17867-17867 angularMeasure の数値 1 引数は TwoDimensionalAngleinstance では %n
(domain angularMeasure 2 RealNumber) Merge.kif 17868-17868 angularMeasure の数値 2 引数は 実数instance では %n
(instance angularMeasure BinaryPredicate) Merge.kif 17865-17865 angularMeasure2進述語instance では %n
(instance angularMeasure TotalValuedRelation) Merge.kif 17866-17866 angularMeasure合計値関係instance では %n

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 7542-7542
(termFormat ChineseTraditionalLanguage angularMeasure "圓周角度測量") domainEnglishFormat.kif 7541-7541
(termFormat EnglishLanguage angularMeasure "angular measure") domainEnglishFormat.kif 7540-7540

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


(=>
    (and
        (instance ?A AcuteAngle)
        (angularMeasure ?A ?N))
    (lessThan ?N 90.0))
Mid-level-ontology.kif 4868-4872
(=>
    (and
        (instance ?A ObliqueAngle)
        (angularMeasure ?A ?N))
    (greaterThan ?N 90.0))
Mid-level-ontology.kif 4848-4852

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