RightAngle | ![]() |
appearance as argument number 1 |
![]() |
(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.") | Mid-level-ontology.kif 5171-5172 | |
(externalImage RightAngle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Right_angle.svg") | pictureList.kif 1959-1959 | |
(instance RightAngle PositionalAttribute) | Cars.kif 2236-2236 | instance RightAngle and PositionalAttribute |
(subclass RightAngle TwoDimensionalAngle) | Mid-level-ontology.kif 5170-5170 | subclass RightAngle and TwoDimensionalAngle |
appearance as argument number 2 |
![]() |
(partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) | Mid-level-ontology.kif 5181-5181 | partition TwoDimensionalAngle, RightAngle, ObliqueAngle and AcuteAngle |
(termFormat ChineseLanguage RightAngle "直角") | domainEnglishFormat.kif 50006-50006 | |
(termFormat ChineseTraditionalLanguage RightAngle "直角") | domainEnglishFormat.kif 50005-50005 | |
(termFormat EnglishLanguage RightAngle "right angle") | domainEnglishFormat.kif 50004-50004 |
antecedent |
![]() |
(=> (instance ?A RightAngle) (angularMeasure ?A (MeasureFn 90 AngularDegree))) |
Mid-level-ontology.kif 5174-5176 |
consequent |
![]() |
(=> (instance ?D Differential) (exists (?G1 ?G2) (and (instance ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?D) (part ?G2 ?D) (orientation ?G1 ?G2 RightAngle)))) |
Cars.kif 2244-2252 | |
(=> (instance ?RECTANGLE Rectangle) (=> (angleOfFigure ?ANGLE ?RECTANGLE) (instance ?ANGLE RightAngle))) |
Mid-level-ontology.kif 5231-5235 | |
(=> (instance ?T RightTriangle) (exists (?A) (and (instance ?A RightAngle) (angleOfFigure ?A ?T)))) |
Mid-level-ontology.kif 5213-5218 |
![]() |
![]() |