Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - pointOfIntersection
pointOfIntersection

appearance as argument number 1
-------------------------


(documentation pointOfIntersection ChineseLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。") Merge.kif 18320-18320
(documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.") Merge.kif 18318-18319
(domain pointOfIntersection 1 OneDimensionalFigure) Merge.kif 18315-18315 The number 1 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 2 OneDimensionalFigure) Merge.kif 18316-18316 The number 2 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 18317-18317 The number 3 argument of point of intersection is an instance of geometric point
(instance pointOfIntersection TernaryPredicate) Merge.kif 18314-18314 point of intersection is an instance of ternary predicate

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 8149-8149 "point of intersection" is the printable form of point of intersection in english language

antecedent
-------------------------


(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))
Merge.kif 18322-18326

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 4550-4569
(=>
    (parallel ?LINE1 ?LINE2)
    (not
        (exists (?POINT)
            (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))
Merge.kif 18337-18341


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners