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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sideOfFigure
sideOfFigure

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


(documentation sideOfFigure EnglishLanguage "(sideOfFigure ?SIDE ?FIGURE) means that the OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.") Mid-level-ontology.kif 5280-5281
(domain sideOfFigure 1 OneDimensionalFigure) Mid-level-ontology.kif 5278-5278 The number 1 argument of side of figure is an instance of one dimensional figure
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 5279-5279 The number 2 argument of side of figure is an instance of geometric figure
(instance sideOfFigure BinaryPredicate) Mid-level-ontology.kif 5277-5277 side of figure is an instance of binary predicate
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 5276-5276 side of figure is a subrelation of geometric part

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


(format ChineseLanguage sideOfFigure "%2 的 side %n 是 %1") chinese_format.kif 788-788
(format EnglishLanguage sideOfFigure "the size of %2 is %n %1") english_format.kif 486-486
(format FrenchLanguage sideOfFigure "le taille de %2 est %n %1") french_format.kif 475-475
(format PortugueseLanguage sideOfFigure "o lado de %2 e' %n %1") portuguese_format.kif 427-427
(termFormat ChineseLanguage sideOfFigure "图形的边") chinese_format.kif 789-789 "图形的边" is the printable form of side of figure in ChineseLanguage
(termFormat EnglishLanguage sideOfFigure "side of figure") domainEnglishFormat.kif 9252-9252 "side of figure" is the printable form of side of figure in english language

consequent
-------------------------


(=>
    (instance ?POLYGON Polygon)
    (=>
        (geometricPart ?PART ?POLYGON)
        (or
            (sideOfFigure ?PART ?POLYGON)
            (exists (?SIDE)
                (and
                    (sideOfFigure ?SIDE ?POLYGON)
                    (geometricPart ?PART ?SIDE))))))
Mid-level-ontology.kif 5187-5196
(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 5218-5220
(=>
    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
            (=>
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))
Mid-level-ontology.kif 5235-5241
(=>
    (instance ?TRIANGLE Triangle)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 5201-5203
(=>
    (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