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 17813-17814
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 17810-17810	pointOfIntersection の数値 1 引数は OneDimensionalFigure の instance では %n
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 17811-17811	pointOfIntersection の数値 2 引数は OneDimensionalFigure の instance では %n
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 17812-17812	pointOfIntersection の数値 3 引数は GeometricPoint の instance では %n
(instance pointOfIntersection TernaryPredicate)	Merge.kif 17809-17809	pointOfIntersection は 3進述語の instance では %n

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 46374-46374
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點")	domainEnglishFormat.kif 46373-46373
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 46372-46372

antecedent

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

Merge.kif 17816-17820

pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint
GeometricPoint の vertex は OneDimensionalFigure では %n GeometricPoint の vertex は OneDimensionalFigure では %n

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 4050-4067	GeometricFigure はオブジェクトの attribute では %n オブジェクトは FourPosterBed の instance では %n GeometricFigure は Quadrilateral の instance では %n GeometricFigure の size は OneDimensionalFigure では %n GeometricFigure の size は OneDimensionalFigure では %n OneDimensionalFigure は OneDimensionalFigure と equal ではオブジェクトオブジェクト, GeometricPoint and オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは Floor の instance では %n オブジェクトは On 対オブジェクトでは %n オブジェクトは Vertical 対オブジェクトでは %n pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint はオブジェクトの attribute では %n オブジェクトはオブジェクトと meets %n{ない}
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 17829-17833	parallel OneDimensionalFigure and OneDimensionalFigure GeometricPoint pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint

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: