TreeView Knowledge Base Browser - pointOfIntersection

appearance as argument number 1

(documentation pointOfIntersection ChineseLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。")	Merge.kif 18182-18182
(documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.")	Merge.kif 18180-18181
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 18177-18177
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 18178-18178
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 18179-18179
(instance pointOfIntersection TernaryPredicate)	Merge.kif 18176-18176

appearance as argument number 2

(format EnglishLanguage pointOfIntersection "%1 %n{doesn't} point of intersection %2 for %3")	domainEnglishFormat.kif 502-502
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 8150-8150

antecedent

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

Merge.kif 18184-18188

consequent

(=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral) (forall (?CORNER) (=> (and (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR) (and (meetsSpatially ?CORNER ?POST) (instance ?POST Artifact) (instance ?FLOOR Floor) (orientation ?BED ?FLOOR On) (orientation ?POST ?FLOOR Vertical))))))))	Mid-level-ontology.kif 4546-4565
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 18199-18203