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 17922-17923
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 17919-17919	The number 1 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 17920-17920	The number 2 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 17921-17921	The number 3 argument of point of intersection is an instance of geometric point
(instance pointOfIntersection TernaryPredicate)	Merge.kif 17918-17918	point of intersection is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage pointOfIntersection "%1 %n 是对于 %3 的交接点 %2 ")	domainEnglishFormat.kif 1975-1975
(format ChineseTraditionalLanguage pointOfIntersection "%1 %n 是對於 %3 的交接點 %2 ")	domainEnglishFormat.kif 1974-1974
(format EnglishLanguage pointOfIntersection "%1 is %n point of intersection %2 for %3")	domainEnglishFormat.kif 1973-1973
(termFormat ChineseLanguage pointOfIntersection "交点")	domainEnglishFormat.kif 46400-46400
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點")	domainEnglishFormat.kif 46399-46399
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 46398-46398

antecedent

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

Merge.kif 17925-17929

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 4071-4088	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
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 17938-17942	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: