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 | 域 圓周角度測量, 1 and 二維角度 |
(domain angularMeasure 2 RealNumber) | Merge.kif 17868-17868 | 域 圓周角度測量, 2 and RealNumber |
(instance angularMeasure BinaryPredicate) | Merge.kif 17865-17865 | 例 圓周角度測量 and BinaryPredicate |
(instance angularMeasure TotalValuedRelation) | Merge.kif 17866-17866 | 例 圓周角度測量 and TotalValuedRelation |
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 |
|
consequent |
(=> (instance ?A RightAngle) (angularMeasure ?A 90.0)) |
Mid-level-ontology.kif 4859-4861 |