TreeView Knowledge Base Browser - pointOfIntersection

appearance as argument number 1

(documentation pointOfIntersection ChineseLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。")	chinese_format.kif 3990-3990
(documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.")	Merge.kif 18011-18012
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 18008-18008	The number 1 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 18009-18009	The number 2 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 18010-18010	The number 3 argument of point of intersection is an instance of geometric point
(instance pointOfIntersection TernaryPredicate)	Merge.kif 18007-18007	point of intersection is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage pointOfIntersection "%1 %n 是对于 %3 的交接点 %2 ")	domainEnglishFormat.kif 1979-1979
(format ChineseTraditionalLanguage pointOfIntersection "%1 %n 是對於 %3 的交接點 %2 ")	domainEnglishFormat.kif 1978-1978
(format EnglishLanguage pointOfIntersection "%1 is %n point of intersection %2 for %3")	domainEnglishFormat.kif 1977-1977
(relatedInternalConcept sideOfIntersection pointOfIntersection)	Mid-level-ontology.kif 5348-5348	side of intersection is internally related to point of intersection
(termFormat ChineseLanguage pointOfIntersection "交点")	domainEnglishFormat.kif 46364-46364	side of intersection is internally related to point of intersection
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點")	domainEnglishFormat.kif 46363-46363	side of intersection is internally related to point of intersection
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 46362-46362	side of intersection is internally related to point of intersection

antecedent

(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))

Merge.kif 18014-18018

If an one dimensional figure is point of intersection another one dimensional figure for a geometric point,
then the geometric point is a vertex of the one dimensional figure and the geometric point is a vertex of the other one dimensional figure

consequent

(=> (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 4521-4538	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
(=> (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 5889-5902	If a geometric figure is equal to circular segment and an one dimensional figure is equal to circular arc and the geometric figure is a geometric part of the one dimensional figure and another one dimensional figure is equal to chord of a circle and the geometric figure is a geometric part of the other one dimensional figure, then there exist a geometric point and another geometric point such that the geometric point is not equal to the other geometric point and the geometric point and the other geometric point are endPointsOfLine of the other one dimensional figure and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the one dimensional figure is point of intersection the other one dimensional figure for the other geometric point
(=> (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 5737-5751	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 18027-18031	If an one dimensional figure is a parallel of another one dimensional figure, then there doesn't exist a geometric point such that the other one dimensional figure is point of intersection the one dimensional figure for the geometric point

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: