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 17932-17933
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 17929-17929
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 17930-17930
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 17931-17931
(instance pointOfIntersection TernaryPredicate)	Merge.kif 17928-17928

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 46395-46395
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點")	domainEnglishFormat.kif 46394-46394
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 46393-46393

antecedent

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

Merge.kif 17935-17939

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
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 17948-17952