| 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 |
|
|
|