Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  RightAngle
|
|
|
| appearance as argument number 1 |
|
|
| (instance RightAngle PositionalAttribute) | Mid-level-ontology.kif 5624-5624 | At a right angle to is an instance of positional attribute |
| (instance RightAngle TwoDimensionalAngle) | Mid-level-ontology.kif 5625-5625 | At a right angle to is an instance of two dimensional angle |
| (documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.") | Mid-level-ontology.kif 5626-5627 | At a right angle to is an instance of two dimensional angle |
| (angleOfFigure RightAngle Rectangle) | Mid-level-ontology.kif 5701-5701 | At a right angle to is the angle found in rectangle |
| (externalImage RightAngle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Right_angle.svg") | pictureList.kif 1957-1957 | At a right angle to is the angle found in rectangle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (equal ?R RightAngle) (angularMeasure ?R (MeasureFn ?N AngularDegree))) (equal ?N 90.0)) |
Mid-level-ontology.kif 5629-5634 | If equal X and at a right angle to and Y angular degree(s) is an angular measure of X, then equal Y and 90.0 |
| consequent |
|
|
| (=> (instance ?WEAVE Weaving) (hasPurpose ?WEAVE (exists (?SUB ?WARP ?WEFT ?OBJ) (and (instance ?SUB Substance) (attribute ?SUB Pliable) (patient ?WEAVE ?SUB) (part ?WARP ?SUB) (part ?WEFT ?SUB) (not (equal ?WARP ?WEFT)) (orientation ?WARP ?WEFT RightAngle) (result ?WEAVE ?OBJ) (instance ?OBJ Artifact))))) |
Mid-level-ontology.kif 5237-5251 | If X is an instance of weaving, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) pliable is an attribute of Y (4) Y is a patient of X (5) Z is a part of Y (6) W is a part of Y (7) equal Z (8) W (9) Z is at a right angle to to W (10) V is a result of X (11) V is an instance of artifact |
| (=> (and (instance ?T Polygon) (equal ?T RightTriangle)) (exists (?A) (and (instance ?A TwoDimensionalAngle) (angleOfFigure ?A ?T) (equal ?A RightAngle)))) |
Mid-level-ontology.kif 5677-5685 | If X is an instance of polygon and equal X and right triangle, then there exists Y such that Y is an instance of two dimensional angle, Y is the angle found in X, equal Y, and at a right angle to |
| (=> (and (equal ?PLANE (LevelPlaneFn ?P ?A)) (part ?P ?R) (instance ?R Region) (located ?R ?A)) (exists (?L) (and (instance ?L LineInSpace) (endPointsOfLineInSpace ?P (CenterOfPlanetFn ?A) ?L) (orientation ?PLANE ?L RightAngle)))) |
Mid-level-ontology.kif 28070-28082 | If equal X, the PlaneInSpace is perpendicular to the line formed by Y, and the centre of the AstronomicalBody., Y is a part of Z, Z is an instance of region, and Z is located at W, then there exists V such that V is an instance of line in space, Y, the centre of AstronomicalBody W is are end points of V, and X is at a right angle to to V |
| (=> (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 2106-2114 | If X is an instance of differential, then there exist Y, Z such that Y is an instance of gear, Z is an instance of gear, Y is a part of X, Z is a part of X, and Y is at a right angle to to Z |
|
