TreeView Knowledge Base Browser - sideOfFigure

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 5919-5920
(domain sideOfFigure 1 OneDimensionalFigure)	Mid-level-ontology.kif 5917-5917	The number 1 argument of side of figure is an instance of one dimensional figure
(domain sideOfFigure 2 GeometricFigure)	Mid-level-ontology.kif 5918-5918	The number 2 argument of side of figure is an instance of geometric figure
(instance sideOfFigure BinaryPredicate)	Mid-level-ontology.kif 5916-5916	side of figure is an instance of binary predicate
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 5915-5915	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 5331-5331	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 52950-52950	face of figure is internally related to side of figure
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面")	domainEnglishFormat.kif 52949-52949	face of figure is internally related to side of figure
(termFormat EnglishLanguage sideOfFigure "side of figure")	domainEnglishFormat.kif 52948-52948	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 4521-4538	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 equal the one dimensional figure and 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 5798-5807	If equal an one dimensional figure and Major arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and 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 5782-5791	If equal an one dimensional figure and minor arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and 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 5753-5767	If equal a two dimensional figure and circle sector and equal a two dimensional angle and central angle and the two dimensional angle is the angle found in the two dimensional figure and equal an one dimensional figure and 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 equal the two dimensional angleC and 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 5626-5633	If equal a geometric figure and circle sector and equal a circle and circle and the circle is a geometric part of the geometric figure and equal an one dimensional figure and 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 5308-5321	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 equal the two dimensional figure and 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 5369-5385	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 equal the number of instances in the class described by the one dimensional figure and 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 5904-5908	If the size of a geometric figure is an one dimensional figure and equal the geometric figure and circular segment, then equal the one dimensional figure and 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 5259-5272	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 equal the geometric point and the other geometric point
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH))	Mid-level-ontology.kif 5559-5561	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 5753-5767	If equal a two dimensional figure and circle sector and equal a two dimensional angle and central angle and the two dimensional angle is the angle found in the two dimensional figure and equal an one dimensional figure and 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 equal the two dimensional angleC and 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 5308-5321	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 equal the two dimensional figure and 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 5369-5385	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 equal the number of instances in the class described by the one dimensional figure and 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 5617-5624	If equal a geometric figure and circle sector, then there exist a two dimensional angle and the two dimensional angleC such that equal the two dimensional angle and central angle and the two dimensional angle is the angle found in the geometric figure and equal the two dimensional angleC and 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 5606-5615	If equal a two dimensional figure and circle sector, then there exist another two dimensional figure and an one dimensional figure such that equal the other two dimensional figure and circle and the other two dimensional figure is a geometric part of the two dimensional figure and equal the one dimensional figure and 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 5737-5751	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 equal the one dimensional figure and closed line segment and the size of the geometric figure is the one dimensional figure and equal the one dimensional figure2 and closed line segment and the size of the geometric figure is the one dimensional figure2 and equal the circle and 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 5512-5517	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 5543-5548	If an entity is an instance of quadrilateral, then equal the number of instances in the class described by a symbolic string and 4
(=> (sideOfIntersection ?F1 ?F2 ?S) (and (sideOfFigure ?S ?F1) (sideOfFigure ?S ?F2)))	Mid-level-ontology.kif 5357-5361	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 5635-5638	equal the number of instances in the class described by a symbolic string and 3
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircularSegment))) 2)	Mid-level-ontology.kif 5910-5913	equal the number of instances in the class described by a symbolic string and 2
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3)	Mid-level-ontology.kif 5522-5525	equal the number of instances in the class described by a symbolic string and 3

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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