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

Formal Language: 



KB Term:  Term intersection
English Word: 

  industrialProductionGrowthRate

Sigma KEE - Quadrilateral
Quadrilateral
رُباعِيّ الأضْلاع, رُباعِيّ الزوايا, مُتوازِي الأضْلاع,

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
(subclass Quadrilateral Polygon) Mid-level-ontology.kif 5215-5215

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


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

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