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 17865-17866
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 17862-17862	O argumento numero 1 de pointOfIntersection e' uma instancia de OneDimensionalFigure
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 17863-17863	O argumento numero 2 de pointOfIntersection e' uma instancia de OneDimensionalFigure
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 17864-17864	O argumento numero 3 de pointOfIntersection e' uma instancia de GeometricPoint
(instance pointOfIntersection TernaryPredicate)	Merge.kif 17861-17861	pointOfIntersection e' uma instancia de Predicado Ternario

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 46362-46362
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點")	domainEnglishFormat.kif 46361-46361
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 46360-46360

antecedent

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

Merge.kif 17868-17872

pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint
GeometricPoint e' um ponto de OneDimensionalFigure GeometricPoint e' um ponto de OneDimensionalFigure

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 4078-4095	GeometricFigure e' um atributo de Objeto Objeto e' uma instancia de FourPosterBed GeometricFigure e' uma instancia de Quadrilateral o lado de GeometricFigure e' OneDimensionalFigure o lado de GeometricFigure e' OneDimensionalFigure OneDimensionalFigure e' igual a OneDimensionalFigure Objeto Objeto, GeometricPoint and Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Floor Objeto e' On em relacao a Objeto Objeto e' Vertical em relacao a Objeto pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint e' um atributo de Objeto Objeto encontra Objeto
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 17881-17885	parallel OneDimensionalFigure and OneDimensionalFigure GeometricPoint pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint

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

KB Term:			Term intersection

English Word: