| 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 | The number 1 argument of angular measure is an instance of two dimensional angle |
| (domain angularMeasure 2 RealNumber) | Merge.kif 17947-17947 | The number 2 argument of angular measure is an instance of real number |
| (instance angularMeasure BinaryPredicate) | Merge.kif 17944-17944 | angular measure is an instance of binary predicate |
| (instance angularMeasure TotalValuedRelation) | Merge.kif 17945-17945 | 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 7550-7550 | |
| (termFormat ChineseTraditionalLanguage angularMeasure "圓周角度測量") | domainEnglishFormat.kif 7549-7549 | |
| (termFormat EnglishLanguage angularMeasure "angular measure") | domainEnglishFormat.kif 7548-7548 |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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