Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| sideOfFigure |
| appearance as argument number 1 |
|
| (subrelation sideOfFigure geometricPart) | Mid-level-ontology.kif 6072-6072 | side of figure is a subrelation of geometric part |
| (instance sideOfFigure BinaryPredicate) | Mid-level-ontology.kif 6073-6073 | side of figure is an instance of binary predicate |
| (domain sideOfFigure 1 OneDimensionalFigure) | Mid-level-ontology.kif 6074-6074 | The number 1 argument of side of figure is an instance of one dimensional figure |
| (domain sideOfFigure 2 GeometricFigure) | Mid-level-ontology.kif 6075-6075 | The number 2 argument of side of figure is an instance of geometric figure |
| (documentation sideOfFigure EnglishLanguage "(sideOfFigure ?SIDE ?FIGURE) means that the OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.") | Mid-level-ontology.kif 6076-6077 | The number 2 argument of side of figure is an instance of geometric figure |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept faceOfFigure sideOfFigure) | Mid-level-ontology.kif 5477-5477 | face of figure is internally related to side of figure |
| (termFormat EnglishLanguage sideOfFigure "side of figure") | domainEnglishFormat.kif 52941-52941 | face of figure is internally related to side of figure |
| (termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面") | domainEnglishFormat.kif 52942-52942 | face of figure is internally related to side of figure |
| (termFormat ChineseLanguage sideOfFigure "图的一面") | domainEnglishFormat.kif 52943-52943 | face of figure is internally related to side of figure |
| (format EnglishLanguage sideOfFigure "the size of %2 is %n %1") | english_format.kif 790-790 | face of figure is internally related to side of figure |
| (format JapaneseLanguage sideOfFigure "%2 の size は %1 では %n") | english_format.kif 791-791 | 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 4724-4741 | If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V |
| (=> (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 5454-5467 | If X is an instance of polyhedron, Y is the face of Figure X, Y is an instance of polygon, and the size of Y is Z, then All of the following hold: (1) there exists W such that W is an instance of polygon (2) W is the face of Figure X (3) equal Y (4) W (5) the size of W is Z (6) Z is the intersection Y (7) W |
| (=> (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 5515-5531 | If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W |
| (=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH)) |
Mid-level-ontology.kif 5706-5708 | If the size of square is X, then Y is a line measure of X |
| (=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C))) |
Mid-level-ontology.kif 5783-5790 | If equal X and circle sector, equal Y and circle, Y is a geometric part of X, equal Z and closed line segment, and the size of X is Z, then the radius of Y is a line measure of Z |
| (=> (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 5910-5924 | If All of the following hold: (1) equal X and circle sector (2) equal Y and central angle (3) Y is the angle found in X (4) equal Z and closed line segment (5) the size of Y is Z (6) Z is the intersection Y and X (7) W is a line measure of Z, then there exists V such that equal V and circular arc and the size of X is V and W is the LengthMeasure of V and 1 radian(s) is an angular measure of Y |
| (=> (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 5939-5948 | If equal X and minor arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 0 and W is less than 180 |
| (=> (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 5955-5964 | If equal X and Major arc, the size of Y is X, equal Y and circle sector, Z is the angle found in Y, and W angular degree(s) is an angular measure of Z, then W is greater than 180 and W is less than 360 |
| (=> (and (sideOfFigure ?A ?S) (equal ?S CircularSegment)) (equal ?A MinorArc)) |
Mid-level-ontology.kif 6061-6065 | If the size of X is Y and equal X and circular segment, then equal Y and minor arc |
| consequent |
|
|
| (=> (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 5454-5467 | If X is an instance of polyhedron, Y is the face of Figure X, Y is an instance of polygon, and the size of Y is Z, then All of the following hold: (1) there exists W such that W is an instance of polygon (2) W is the face of Figure X (3) equal Y (4) W (5) the size of W is Z (6) Z is the intersection Y (7) W |
| (=> (sideOfIntersection ?F1 ?F2 ?S) (and (sideOfFigure ?S ?F1) (sideOfFigure ?S ?F2))) |
Mid-level-ontology.kif 5503-5507 | If X is the intersection Y and Z, then the size of Y is X and the size of Z is X |
| (=> (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 5515-5531 | If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W |
| (=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON)))) |
Mid-level-ontology.kif 5659-5664 | If X is an instance of polygon, then there exists Y such that the size of X is Y and X is a geometric part of Y |
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 5690-5695 | If X is an instance of quadrilateral, then equal the number of instances in the class described by Y and 4 |
| (=> (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 5763-5772 | If equal X and circle sector, then All of the following hold: (1) there exist Y (2) Z such that equal Y (3) circle (4) Y is a geometric part of X (5) equal Z (6) circular arc (7) Y is a geometric part of Z (8) the size of X is Z (9) Z is the intersection X (10) Y |
| (=> (equal ?S CircleSector) (exists (?A ?AC) (and (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?AC CircularArc) (sideOfFigure ?AC ?S)))) |
Mid-level-ontology.kif 5774-5781 | If equal X and circle sector, then All of the following hold: (1) there exist Y (2) Z such that equal Y (3) central angle (4) Y is the angle found in X (5) equal Z (6) circular arc (7) the size of X is Z |
| (=> (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 5894-5908 | If X is an instance of central angle, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) closed line segment (4) the size of X is Y (5) equal Z (6) closed line segment (7) the size of X is Z (8) equal W (9) circle (10) W is a geometric part of X (11) Y is point of intersection Z for the center of circle of W (12) V is a line measure of Y (13) V is a line measure of Z (14) the radius of W is V |
| (=> (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 5910-5924 | If All of the following hold: (1) equal X and circle sector (2) equal Y and central angle (3) Y is the angle found in X (4) equal Z and closed line segment (5) the size of Y is Z (6) Z is the intersection Y and X (7) W is a line measure of Z, then there exists V such that equal V and circular arc and the size of X is V and W is the LengthMeasure of V and 1 radian(s) is an angular measure of Y |
| statement |
|
|
| (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3) |
Mid-level-ontology.kif 5669-5672 | equal the number of instances in the class described by X and 3 |
| (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircleSector))) 3) |
Mid-level-ontology.kif 5792-5795 | equal the number of instances in the class described by X and 3 |
| (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircularSegment))) 2) |
Mid-level-ontology.kif 6067-6070 | equal the number of instances in the class described by X and 2 |
|