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 4982-4983
(domain sideOfFigure 1 OneDimensionalFigure) Mid-level-ontology.kif 4980-4980 Le nombre 1 argument de sideOfFigure est une instance de OneDimensionalFigure
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4981-4981 Le nombre 2 argument de sideOfFigure est une instance de GeometricFigure
(instance sideOfFigure BinaryPredicate) Mid-level-ontology.kif 4979-4979 sideOfFigure est une instance de pr�dicat binaire
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4978-4978 sideOfFigure est une sous-relation de geometricPart

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 FrenchLanguage sideOfFigure "le taille de %2 est %n %1") french_format.kif 475-475
(format JapaneseLanguage sideOfFigure "%2 の size は %1 では %n") english_format.kif 791-791
(format PortugueseLanguage sideOfFigure "o lado de %2 e' %n %1") portuguese_format.kif 427-427
(format ro sideOfFigure "size%t{dimensiunea} lui %2 %n{nu} este %1") relations-ro.kif 497-497
(termFormat ChineseLanguage sideOfFigure "图形的边") chinese_format.kif 789-789
(termFormat ChineseLanguage sideOfFigure "图的一面") domainEnglishFormat.kif 52946-52946
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面") domainEnglishFormat.kif 52945-52945
(termFormat EnglishLanguage sideOfFigure "side of figure") domainEnglishFormat.kif 52944-52944

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


(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))
Mid-level-ontology.kif 4078-4095

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


(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))
Mid-level-ontology.kif 4886-4891
(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))
Mid-level-ontology.kif 4916-4921
(=>
    (instance ?SQUARE Square)
    (exists (?LENGTH)
        (forall (?SIDE)
            (=>
                (sideOfFigure ?SIDE ?SQUARE)
                (lineMeasure ?SIDE ?LENGTH)))))
Mid-level-ontology.kif 4937-4943
(=>
    (instance ?TRIANGLE Triangle)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?TRIANGLE))) 3))
Mid-level-ontology.kif 4896-4901


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