pointOfIntersection - Sigma Knowledge base Browser

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 18026-18027
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 18023-18023	The number 1 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 18024-18024	The number 2 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 18025-18025	The number 3 argument of point of intersection is an instance of geometric point
(instance pointOfIntersection TernaryPredicate)	Merge.kif 18022-18022	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 18029-18033

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 equal the one dimensional figure and 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 equal a geometric figure and circular segment and equal an one dimensional figure and circular arc and the geometric figure is a geometric part of the one dimensional figure and equal another one dimensional figure and 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 equal the geometric point and 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 equal the one dimensional figure and closed line segment and the size of the geometric figure is the one dimensional figure and equal the one dimensional figure2 and closed line segment and the size of the geometric figure is the one dimensional figure2 and equal the circle and 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 18042-18046	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: