Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| pointOfIntersection |
| appearance as argument number 1 |
|
| (instance pointOfIntersection TernaryPredicate) | Merge.kif 18196-18196 | point of intersection is an instance of ternary predicate |
| (domain pointOfIntersection 1 OneDimensionalFigure) | Merge.kif 18197-18197 | The number 1 argument of point of intersection is an instance of one dimensional figure |
| (domain pointOfIntersection 2 OneDimensionalFigure) | Merge.kif 18198-18198 | The number 2 argument of point of intersection is an instance of one dimensional figure |
| (domain pointOfIntersection 3 GeometricPoint) | Merge.kif 18199-18199 | The number 3 argument of point of intersection is an instance of geometric point |
| (documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.") | Merge.kif 18200-18201 | The number 3 argument of point of intersection is an instance of geometric point |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 18203-18207 | If X is point of intersection Y for Z, then Z is a vertex of X and Z is a vertex of Y |
| consequent |
|
|
| (=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 18223-18227 | If X is a parallel of Y, then there doesn't exist Z such that Y is point of intersection X for Z |
| (=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4724-4741 | If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V |
| (=> (instance ?A CentralAngle) (exists (?L ?L2 ?C ?R) (and (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (equal ?L2 ClosedLineSegment) (sideOfFigure ?L2 ?A) (equal ?C Circle) (geometricPart ?A ?C) (pointOfIntersection ?L ?L2 (CenterOfCircleFn ?C)) (lineMeasure ?L ?R) (lineMeasure ?L2 ?R) (radius ?C ?R)))) |
Mid-level-ontology.kif 5894-5908 | If X is an instance of central angle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) closed line segment (4) the size of X is Y (5) equal Z (6) closed line segment (7) the size of X is Z (8) equal W (9) circle (10) W is a geometric part of X (11) Y is point of intersection Z for the center of circle of W (12) V is a line measure of Y (13) V is a line measure of Z (14) the radius of W is V |
| (=> (and (equal ?S CircularSegment) (equal ?A CircularArc) (geometricPart ?A ?S) (equal ?C ChordOfACircle) (geometricPart ?C ?S)) (exists (?P1 ?P2) (and (not (equal ?P1 ?P2)) (endPointsOfLine ?P1 ?P2 ?C) (pointOfIntersection ?A ?C ?P1) (pointOfIntersection ?A ?C ?P2)))) |
Mid-level-ontology.kif 6046-6059 | If equal X and circular segment, equal Y and circular arc, X is a geometric part of Y, equal Z and chord of a circle, and X is a geometric part of Z, then All of the following hold: (1) there exist W (2) V such that equal W (3) V (4) W (5) V are endPointsOfLine of Z (6) Y is point of intersection Z for W (7) Y is point of intersection Z for V |
|