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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Quadrilateral

Sigma KEE - Quadrilateral
Quadrilateral

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


(documentation Quadrilateral EnglishLanguage "Any four-sided Polygon.") Mid-level-ontology.kif 5220-5220
(externalImage Quadrilateral "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ Square_diagonals.svg/ 250px-Square_diagonals.svg.png") pictureList.kif 1223-1223
(subclass Quadrilateral Polygon) Mid-level-ontology.kif 5219-5219

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


(subclass Rectangle Quadrilateral) Mid-level-ontology.kif 5226-5226
(termFormat EnglishLanguage Quadrilateral "quadrilateral") domainEnglishFormat.kif 8471-8471

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


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

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


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