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 点相遇。") 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 16668-16669
(domain pointOfIntersection 1 OneDimensionalFigure) Merge.kif 16665-16665 The number 1 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 2 OneDimensionalFigure) Merge.kif 16666-16666 The number 2 argument of point of intersection is an instance of one dimensional figure
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 16667-16667 The number 3 argument of point of intersection is an instance of geometric point
(instance pointOfIntersection TernaryPredicate) Merge.kif 16664-16664 point of intersection is an instance of ternary predicate

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 46357-46357
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點") domainEnglishFormat.kif 46356-46356
(termFormat EnglishLanguage pointOfIntersection "point of intersection") domainEnglishFormat.kif 46355-46355

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


(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))
Merge.kif 16671-16675

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 ?X ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4551-4570
(=>
    (parallel ?LINE1 ?LINE2)
    (not
        (exists (?POINT)
            (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))
Merge.kif 16684-16688


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