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 17948-17949 | |
(domain angularMeasure 1 TwoDimensionalAngle) | Merge.kif 17946-17946 | |
(domain angularMeasure 2 RealNumber) | Merge.kif 17947-17947 | |
(instance angularMeasure BinaryPredicate) | Merge.kif 17944-17944 | |
(instance angularMeasure TotalValuedRelation) | Merge.kif 17945-17945 |
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 |
(=> (angularMeasure AcuteAngle ?N) (lessThan ?N 90.0)) |
Mid-level-ontology.kif 4862-4864 | |
(=> (angularMeasure ObliqueAngle ?N) (greaterThan ?N 90.0)) |
Mid-level-ontology.kif 4846-4848 | |
(=> (angularMeasure RightAngle ?N) (equal ?N 90.0)) |
Mid-level-ontology.kif 4854-4856 |