Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| radius |
| appearance as argument number 1 |
|
| (instance radius BinaryPredicate) | Merge.kif 7809-7809 | radius is an instance of binary predicate |
| (instance radius SingleValuedRelation) | Merge.kif 7810-7810 | radius is an instance of single valued relation |
| (instance radius TotalValuedRelation) | Merge.kif 7811-7811 | radius is an instance of total valued relation |
| (domain radius 1 ClosedTwoDimensionalFigure) | Merge.kif 7812-7812 | The number 1 argument of radius is an instance of closed two dimensional figure |
| (domain radius 2 LengthMeasure) | Merge.kif 7813-7813 | The number 2 argument of radius is an instance of length measure |
| (documentation radius EnglishLanguage "(radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.") | Merge.kif 7815-7816 | The number 2 argument of radius is an instance of length measure |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept arcLength radius) | Mid-level-ontology.kif 5836-5836 | arc length is internally related to radius |
| (termFormat EnglishLanguage radius "radius") | domainEnglishFormat.kif 48571-48571 | arc length is internally related to radius |
| (termFormat ChineseTraditionalLanguage radius "半徑") | domainEnglishFormat.kif 48572-48572 | arc length is internally related to radius |
| (termFormat ChineseLanguage radius "半径") | domainEnglishFormat.kif 48573-48573 | arc length is internally related to radius |
| (format EnglishLanguage radius "the radius of %1 is %n %2") | english_format.kif 793-793 | arc length is internally related to radius |
| (format JapaneseLanguage radius "%1 の radius は %2 では %n") | english_format.kif 794-794 | arc length is internally related to radius |
| antecedent |
|
|
| (=> (and (radius ?CIRCLE ?RADIUS) (pointOfFigure ?POINT ?CIRCLE)) (exists (?CENTER) (and (equal ?CENTER (CenterOfCircleFn ?CIRCLE)) (geometricDistance ?CENTER ?POINT ?RADIUS)))) |
Merge.kif 7818-7826 | If the radius of X is Y and Z is a vertex of X, then there exists W such that equal W, the center of circle of X, and W is geometric distance Z for Y |
| (=> (radius ?CIRCLE ?RADIUS) (attribute ?CIRCLE Circle)) |
Merge.kif 7828-7830 | If the radius of X is Y, then circle is an attribute of X |
| consequent |
|
|
| (=> (attribute ?C Circle) (exists (?R) (radius ?C ?R))) |
Merge.kif 7786-7789 | If circle is an attribute of X, then there exists Y such that the radius of X is Y |
| (=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7842-7847 | If the diameter of X is Y, then there exist Z and W such that the radius of X is Z W(s) and equal Z and 2 W(s) and Y |
| (=> (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 |
|