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 4704-4705
(domain sideOfFigure 1 OneDimensionalFigure) Mid-level-ontology.kif 4702-4702
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4703-4703
(instance sideOfFigure BinaryPredicate) Mid-level-ontology.kif 4701-4701
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4700-4700

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 790-790
(format JapaneseLanguage sideOfFigure "%2 の size は %1 では %n") english_format.kif 791-791
(termFormat ChineseLanguage sideOfFigure "图形的边") chinese_format.kif 789-789
(termFormat ChineseLanguage sideOfFigure "图的一面") domainEnglishFormat.kif 52929-52929
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面") domainEnglishFormat.kif 52928-52928
(termFormat EnglishLanguage sideOfFigure "side of figure") domainEnglishFormat.kif 52927-52927

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


(=>
    (instance ?POLYGON Polygon)
    (=>
        (geometricPart ?PART ?POLYGON)
        (or
            (sideOfFigure ?PART ?POLYGON)
            (exists (?SIDE)
                (and
                    (sideOfFigure ?SIDE ?POLYGON)
                    (geometricPart ?PART ?SIDE))))))
Mid-level-ontology.kif 4605-4614
(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 4639-4644
(=>
    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
            (=>
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))
Mid-level-ontology.kif 4659-4665
(=>
    (instance ?TRIANGLE Triangle)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4619-4624
(=>
    (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 ?X ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 3966-3985


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 3.0 is open source software produced by Articulate Software and its partners