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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CottonFabric

Sigma KEE - pointOfIntersection
pointOfIntersection

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


(documentation pointOfIntersection ChineseLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。") Merge.kif 18268-18268
(documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.") Merge.kif 18266-18267
(domain pointOfIntersection 1 OneDimensionalFigure) Merge.kif 18263-18263
(domain pointOfIntersection 2 OneDimensionalFigure) Merge.kif 18264-18264
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 18265-18265
(instance pointOfIntersection TernaryPredicate) Merge.kif 18262-18262

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

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


(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))
Merge.kif 18270-18274

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 18285-18289


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

Show without tree


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