| 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 17891-17892 | |
| (domain angularMeasure 1 TwoDimensionalAngle) | Merge.kif 17889-17889 | The number 1 argument of angular measure is an instance of two dimensional angle |
| (domain angularMeasure 2 RealNumber) | Merge.kif 17890-17890 | The number 2 argument of angular measure is an instance of real number |
| (instance angularMeasure BinaryPredicate) | Merge.kif 17887-17887 | angular measure is an instance of binary predicate |
| (instance angularMeasure TotalValuedRelation) | Merge.kif 17888-17888 | 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 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 4867-4869 |
|
| (=> (angularMeasure ObliqueAngle ?N) (greaterThan ?N 90.0)) |
Mid-level-ontology.kif 4851-4853 |
|
| (=> (angularMeasure RightAngle ?N) (equal ?N 90.0)) |
Mid-level-ontology.kif 4859-4861 |
|
|
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