sideOfFigure - Sigma Knowledge base Browser

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 4954-4955
(domain sideOfFigure 1 OneDimensionalFigure)	Mid-level-ontology.kif 4952-4952	sideOfFigure の数値 1 引数は OneDimensionalFigure の instance では %n
(domain sideOfFigure 2 GeometricFigure)	Mid-level-ontology.kif 4953-4953	sideOfFigure の数値 2 引数は GeometricFigure の instance では %n
(instance sideOfFigure BinaryPredicate)	Mid-level-ontology.kif 4951-4951	sideOfFigure は 2進述語の instance では %n
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4950-4950	sideOfFigure は geometricPart の subrelation では %n

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 52958-52958
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面")	domainEnglishFormat.kif 52957-52957
(termFormat EnglishLanguage sideOfFigure "side of figure")	domainEnglishFormat.kif 52956-52956

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

GeometricFigure はオブジェクトの attribute では %n オブジェクトは FourPosterBed の instance では %n GeometricFigure は Quadrilateral の instance では %n GeometricFigure の size は OneDimensionalFigure では %n GeometricFigure の size は OneDimensionalFigure では %n OneDimensionalFigure は OneDimensionalFigure と equal では
オブジェクトオブジェクト, GeometricPoint and オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは Floor の instance では %n オブジェクトは On 対オブジェクトでは %n オブジェクトは Vertical 対オブジェクトでは %n pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint GeometricPoint はオブジェクトの attribute では %n オブジェクトはオブジェクトと meets %n{ない}

consequent

(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 4858-4863	GeometricFigure は Polygon の instance では %n OneDimensionalFigure GeometricFigure の size は OneDimensionalFigure では %n geometricPart OneDimensionalFigure and GeometricFigure
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4))	Mid-level-ontology.kif 4888-4893	エンティティーは Quadrilateral の instance では %n エンティティー class の instances の数は 4 と equal では %n
(=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH)))))	Mid-level-ontology.kif 4909-4915	GeometricFigure は Square の instance では %n 長さ測定 OneDimensionalFigure GeometricFigure の size は OneDimensionalFigure では %n lineMeasure OneDimensionalFigure and 長さ測定
(=> (instance ?TRIANGLE Triangle) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?TRIANGLE))) 3))	Mid-level-ontology.kif 4868-4873	エンティティーは Triangle の instance では %n エンティティー class の instances の数は 3 と equal では %n

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

KB Term:			Term intersection

English Word: