sideOfFigure - Sigma Knowledge base Browser

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 5531-5532
(domain sideOfFigure 1 OneDimensionalFigure)	Mid-level-ontology.kif 5529-5529	The number 1 argument of side of figure is an instance of one dimensional figure
(domain sideOfFigure 2 GeometricFigure)	Mid-level-ontology.kif 5530-5530	The number 2 argument of side of figure is an instance of geometric figure
(instance sideOfFigure BinaryPredicate)	Mid-level-ontology.kif 5528-5528	side of figure is an instance of binary predicate
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 5527-5527	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
(relatedInternalConcept faceOfFigure sideOfFigure)	Mid-level-ontology.kif 4943-4943	face of figure is internally related to side of figure
(termFormat ChineseLanguage sideOfFigure "图形的边")	chinese_format.kif 789-789	face of figure is internally related to side of figure
(termFormat ChineseLanguage sideOfFigure "图的一面")	domainEnglishFormat.kif 52979-52979	face of figure is internally related to side of figure
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面")	domainEnglishFormat.kif 52978-52978	face of figure is internally related to side of figure
(termFormat EnglishLanguage sideOfFigure "side of figure")	domainEnglishFormat.kif 52977-52977	face of figure is internally related to side of figure

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 4144-4161	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
(=> (and (equal ?MAJ MajorArc) (sideOfFigure ?MAJ ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 180) (lessThan ?X 360)))	Mid-level-ontology.kif 5410-5419	If an one dimensional figure is equal to Major arc and the size of a geometric figure is the one dimensional figure and the geometric figure is equal to circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 180 and the real number is less than 360
(=> (and (equal ?MIN MinorArc) (sideOfFigure ?MIN ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 0) (lessThan ?X 180)))	Mid-level-ontology.kif 5394-5403	If an one dimensional figure is equal to minor arc and the size of a geometric figure is the one dimensional figure and the geometric figure is equal to circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 0 and the real number is less than 180
(=> (and (equal ?S CircleSector) (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (sideOfIntersection ?A ?S ?L) (lineMeasure ?L ?R)) (exists (?AC) (and (equal ?AC CircularArc) (sideOfFigure ?AC ?S) (arcLength ?AC ?R) (angularMeasure ?A (MeasureFn 1 Radian)))))	Mid-level-ontology.kif 5365-5379	If a two dimensional figure is equal to circle sector and a two dimensional angle is equal to central angle and the two dimensional angle is the angle found in the two dimensional figure and an one dimensional figure is equal to closed line segment and the size of the two dimensional angle is the one dimensional figure and the one dimensional figure is the intersection the two dimensional angle and the two dimensional figure and a length measure is a line measure of the one dimensional figure, then there exists the two dimensional angleC such that the two dimensional angleC is equal to circular arc and the size of the two dimensional figure is the two dimensional angleC and the length measure is the LengthMeasure of the two dimensional angleC and 1 radian(s) is an angular measure of the two dimensional angle
(=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C)))	Mid-level-ontology.kif 5238-5245	If a geometric figure is equal to circle sector and a circle is equal to circle and the circle is a geometric part of the geometric figure and an one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure, then the radius of the circle is a line measure of the one dimensional figure
(=> (and (instance ?P Polyhedron) (faceOfFigure ?F1 ?P) (instance ?F1 Polygon) (sideOfFigure ?S ?F1)) (exists (?F2) (and (instance ?F2 Polygon) (faceOfFigure ?F2 ?P) (not (equal ?F1 ?F2)) (sideOfFigure ?S ?F2) (sideOfIntersection ?F1 ?F2 ?S))))	Mid-level-ontology.kif 4920-4933	If a geometric figure is an instance of polyhedron and a two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is an instance of polygon and the size of the two dimensional figure is an one dimensional figure, then there exists another two dimensional figure such that the other two dimensional figure is an instance of polygon and the other two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is not equal to the other two dimensional figure and the size of the other two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=> (and (instance ?PY Pyramid) (instance ?POL Polygon) (faceOfFigure ?POL ?PY) (sideOfFigure ?S ?POL) (instance ?T Triangle) (faceOfFigure ?T ?PY) (sideOfFigure ?S ?T) (sideOfIntersection ?POL ?T ?S)) (equal (CardinalityFn (KappaFn ?S (sideOfFigure ?S ?POL))) (CardinalityFn (KappaFn ?T (faceOfFigure ?T ?PY)))))	Mid-level-ontology.kif 4981-4997	If a geometric figure is an instance of pyramid and a two dimensional figure is an instance of polygon and the two dimensional figure is the face of Figure the geometric figure and the size of the two dimensional figure is an one dimensional figure and a symbolic string is an instance of triangle and the symbolic string is the face of Figure the geometric figure and the size of the symbolic string is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the symbolic string, then the number of instances in the class described by the one dimensional figure is equal to the number of instances in the class described by the symbolic string
(=> (and (sideOfFigure ?A ?S) (equal ?S CircularSegment)) (equal ?A MinorArc))	Mid-level-ontology.kif 5516-5520	If the size of a geometric figure is an one dimensional figure and the geometric figure is equal to circular segment, then the one dimensional figure is equal to minor arc
(=> (and (tangent ?LINE ?CIRCLE) (sideOfFigure ?CURVE ?CIRCLE)) (exists (?POINT1) (and (pointOfFigure ?POINT1 ?LINE) (pointOfFigure ?POINT1 ?CURVE) (forall (?POINT2) (=> (and (pointOfFigure ?POINT2 ?LINE) (pointOfFigure ?POINT2 ?CURVE)) (equal ?POINT1 ?POINT2))))))	Mid-level-ontology.kif 4871-4884	If a tangent of an oval is a tangent line and the size of the oval is an one dimensional figure, then there exists a geometric point such that the geometric point is a vertex of the tangent line and the geometric point is a vertex of the one dimensional figure and for all another geometric point if the other geometric point is a vertex of the tangent line and the other geometric point is a vertex of the one dimensional figure, then the geometric point is equal to the other geometric point
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH))	Mid-level-ontology.kif 5171-5173	If the size of square is an one dimensional figure, then a length measure is a line measure of the one dimensional figure

consequent

(=> (and (equal ?S CircleSector) (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (sideOfIntersection ?A ?S ?L) (lineMeasure ?L ?R)) (exists (?AC) (and (equal ?AC CircularArc) (sideOfFigure ?AC ?S) (arcLength ?AC ?R) (angularMeasure ?A (MeasureFn 1 Radian)))))	Mid-level-ontology.kif 5365-5379	If a two dimensional figure is equal to circle sector and a two dimensional angle is equal to central angle and the two dimensional angle is the angle found in the two dimensional figure and an one dimensional figure is equal to closed line segment and the size of the two dimensional angle is the one dimensional figure and the one dimensional figure is the intersection the two dimensional angle and the two dimensional figure and a length measure is a line measure of the one dimensional figure, then there exists the two dimensional angleC such that the two dimensional angleC is equal to circular arc and the size of the two dimensional figure is the two dimensional angleC and the length measure is the LengthMeasure of the two dimensional angleC and 1 radian(s) is an angular measure of the two dimensional angle
(=> (and (instance ?P Polyhedron) (faceOfFigure ?F1 ?P) (instance ?F1 Polygon) (sideOfFigure ?S ?F1)) (exists (?F2) (and (instance ?F2 Polygon) (faceOfFigure ?F2 ?P) (not (equal ?F1 ?F2)) (sideOfFigure ?S ?F2) (sideOfIntersection ?F1 ?F2 ?S))))	Mid-level-ontology.kif 4920-4933	If a geometric figure is an instance of polyhedron and a two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is an instance of polygon and the size of the two dimensional figure is an one dimensional figure, then there exists another two dimensional figure such that the other two dimensional figure is an instance of polygon and the other two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is not equal to the other two dimensional figure and the size of the other two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=> (and (instance ?PY Pyramid) (instance ?POL Polygon) (faceOfFigure ?POL ?PY) (sideOfFigure ?S ?POL) (instance ?T Triangle) (faceOfFigure ?T ?PY) (sideOfFigure ?S ?T) (sideOfIntersection ?POL ?T ?S)) (equal (CardinalityFn (KappaFn ?S (sideOfFigure ?S ?POL))) (CardinalityFn (KappaFn ?T (faceOfFigure ?T ?PY)))))	Mid-level-ontology.kif 4981-4997	If a geometric figure is an instance of pyramid and a two dimensional figure is an instance of polygon and the two dimensional figure is the face of Figure the geometric figure and the size of the two dimensional figure is an one dimensional figure and a symbolic string is an instance of triangle and the symbolic string is the face of Figure the geometric figure and the size of the symbolic string is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the symbolic string, then the number of instances in the class described by the one dimensional figure is equal to the number of instances in the class described by the symbolic string
(=> (equal ?S CircleSector) (exists (?A ?AC) (and (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?AC CircularArc) (sideOfFigure ?AC ?S))))	Mid-level-ontology.kif 5229-5236	If a geometric figure is equal to circle sector, then there exist a two dimensional angle and the two dimensional angleC such that the two dimensional angle is equal to central angle and the two dimensional angle is the angle found in the geometric figure and the two dimensional angleC is equal to circular arc and the size of the geometric figure is the two dimensional angleC
(=> (equal ?S CircleSector) (exists (?C ?A) (and (equal ?C Circle) (geometricPart ?S ?C) (equal ?A CircularArc) (geometricPart ?A ?C) (sideOfFigure ?A ?S) (sideOfIntersection ?S ?C ?A))))	Mid-level-ontology.kif 5218-5227	If a two dimensional figure is equal to circle sector, then there exist another two dimensional figure and an one dimensional figure such that the other two dimensional figure is equal to circle and the other two dimensional figure is a geometric part of the two dimensional figure and the one dimensional figure is equal to circular arc and the other two dimensional figure is a geometric part of the one dimensional figure and the size of the two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=> (instance ?A CentralAngle) (exists (?L ?L2 ?C ?R) (and (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (equal ?L2 ClosedLineSegment) (sideOfFigure ?L2 ?A) (equal ?C Circle) (geometricPart ?A ?C) (pointOfIntersection ?L ?L2 (CenterOfCircleFn ?C)) (lineMeasure ?L ?R) (lineMeasure ?L2 ?R) (radius ?C ?R))))	Mid-level-ontology.kif 5349-5363	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 5124-5129	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 5155-5160	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
(=> (sideOfIntersection ?F1 ?F2 ?S) (and (sideOfFigure ?S ?F1) (sideOfFigure ?S ?F2)))	Mid-level-ontology.kif 4969-4973	If an one dimensional figure is the intersection a two dimensional figure and another two dimensional figure, then the size of the two dimensional figure is the one dimensional figure and the size of the other two dimensional figure is the one dimensional figure

statement

(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircleSector))) 3)	Mid-level-ontology.kif 5247-5250	The number of instances in the class described by a symbolic string is equal to 3
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircularSegment))) 2)	Mid-level-ontology.kif 5522-5525	The number of instances in the class described by a symbolic string is equal to 2
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3)	Mid-level-ontology.kif 5134-5137	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