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 4976-4977
(domain sideOfFigure 1 OneDimensionalFigure)	Mid-level-ontology.kif 4974-4974	The number 1 argument of side of figure is an instance of one dimensional figure
(domain sideOfFigure 2 GeometricFigure)	Mid-level-ontology.kif 4975-4975	The number 2 argument of side of figure is an instance of geometric figure
(instance sideOfFigure BinaryPredicate)	Mid-level-ontology.kif 4973-4973	side of figure is an instance of binary predicate
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4972-4972	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 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 52986-52986
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面")	domainEnglishFormat.kif 52985-52985
(termFormat EnglishLanguage sideOfFigure "side of figure")	domainEnglishFormat.kif 52984-52984

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 4071-4088	If a geometric figure is an attribute of an object and the object is an instance of four-poster bed and the geometric figure is an instance of quadrilateral and the size of the geometric figure is an one dimensional figure and the size of the geometric figure is another one dimensional figure and the one dimensional figure is not equal to the other one dimensional figure, then there exist another object, a third object,, , a geometric point and a fourth object such that the other object is a part of the object and the third object is an instance of floor and the object is on to the third object and the other object is vertical to the third object and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the geometric point is an attribute of the fourth object and the fourth object meets the other object
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH))	Mid-level-ontology.kif 4925-4927	If the size of square is an one dimensional figure, then a length measure is a line measure of the one dimensional figure

consequent

(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 4878-4883	If a geometric figure is an instance of polygon, then there exists an one dimensional figure such that the size of the geometric figure is the one dimensional figure and the geometric figure is a geometric part of the one dimensional figure
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4))	Mid-level-ontology.kif 4909-4914	If an entity is an instance of quadrilateral, then the number of instances in the class described by a symbolic string is equal to 4

statement

(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)

Mid-level-ontology.kif 4888-4891

The number of instances in the class described by a symbolic string is equal to 3

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: