RadiusFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RadiusFn

RadiusFn

appearance as argument number 1

(documentation RadiusFn EnglishLanguage "(RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE.")	Mid-level-ontology.kif 5582-5583
(domain RadiusFn 1 Circle)	Mid-level-ontology.kif 5586-5586	The number 1 argument of radius is an instance of circle
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 5585-5585	Radius is an instance of total valued relation
(instance RadiusFn UnaryFunction)	Mid-level-ontology.kif 5584-5584	Radius is an instance of unary function
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 5587-5587	The range of radius is an instance of length measure

appearance as argument number 2

(format ChineseLanguage RadiusFn "%1 的 radius ")	domainEnglishFormat.kif 2099-2099
(format ChineseTraditionalLanguage RadiusFn "%1 的 radius ")	domainEnglishFormat.kif 2098-2098
(format EnglishLanguage RadiusFn "the radius of %1")	domainEnglishFormat.kif 2097-2097
(termFormat ChineseLanguage RadiusFn "半径")	domainEnglishFormat.kif 48586-48586
(termFormat ChineseTraditionalLanguage RadiusFn "半徑")	domainEnglishFormat.kif 48585-48585
(termFormat EnglishLanguage RadiusFn "radius")	domainEnglishFormat.kif 48584-48584

antecedent

(=>
    (equal ?L
        (RadiusFn ?C))
    (equal ?C Circle))

Mid-level-ontology.kif 5596-5599

If equal a length measure and the radius of a circle,
then equal the circle and circle

consequent

(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R))	Mid-level-ontology.kif 5589-5594	If equal the center of circle of a circle and a geometric point and the geometric point2 is a vertex of the circle and the geometric point2 is geometric distance the geometric point for a length measure, then equal the radius of the circle and the length measure
(=> (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
(=> (equal (DiameterFn ?C) (MeasureFn ?L ?U)) (exists (?R) (and (equal (RadiusFn ?C) (MeasureFn ?R ?U)) (equal (MultiplicationFn ?R 2.0) ?L))))	Mid-level-ontology.kif 5570-5575	If equal the diameter of a circle and a real number an unit of measure(s), then there exists another real number such that equal the radius of the circle and the other real number the unit of measure(s) and equal the other real number and 2.0 and the real number

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