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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Quadrilateral
Quadrilateral(quadrilateral)
parallelogram, quadrangle, quadrilateral, tetragon, trapezium, trapezoid

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


(documentation Quadrilateral EnglishLanguage "Any four-sided Polygon.") Mid-level-ontology.kif 5216-5216
(externalImage Quadrilateral "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ Square_diagonals.svg/ 250px-Square_diagonals.svg.png") pictureList.kif 1223-1223 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d4/ Square_diagonals.svg/ 250px-Square_diagonals.svg.png" is a URL depicting quadrilateral
(subclass Quadrilateral Polygon) Mid-level-ontology.kif 5215-5215 Quadrilateral is a subclass of polygon

appearance as argument number 2
-------------------------


(subclass Rectangle Quadrilateral) Mid-level-ontology.kif 5222-5222 Rectangle is a subclass of quadrilateral
(termFormat EnglishLanguage Quadrilateral "quadrilateral") domainEnglishFormat.kif 8472-8472 "quadrilateral" is the printable form of quadrilateral in english language

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


(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 5218-5220

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


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