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 4679-4680
(domain sideOfFigure 1 OneDimensionalFigure) Mid-level-ontology.kif 4677-4677
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4678-4678
(instance sideOfFigure BinaryPredicate) Mid-level-ontology.kif 4676-4676
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4675-4675

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 793-793
(format JapaneseLanguage sideOfFigure "%2 の size は %1 では %n") english_format.kif 794-794
(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 4586-4595
(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 4617-4619
(=>
    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
            (=>
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))
Mid-level-ontology.kif 4634-4640
(=>
    (instance ?TRIANGLE Triangle)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4600-4602
(=>
    (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 3948-3967


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