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 5601-5602
(domain RadiusFn 1 Circle)	Mid-level-ontology.kif 5605-5605	The number 1 argument of radius is an instance of circle
(instance RadiusFn TotalValuedRelation)	Mid-level-ontology.kif 5604-5604	Radius is an instance of total valued relation
(instance RadiusFn UnaryFunction)	Mid-level-ontology.kif 5603-5603	Radius is an instance of unary function
(range RadiusFn LengthMeasure)	Mid-level-ontology.kif 5606-5606	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 48615-48615
(termFormat ChineseTraditionalLanguage RadiusFn "半徑")	domainEnglishFormat.kif 48614-48614
(termFormat EnglishLanguage RadiusFn "radius")	domainEnglishFormat.kif 48613-48613

antecedent

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

Mid-level-ontology.kif 5615-5618

If a length measure is equal to the radius of a circle,
then the circle is equal to circle

consequent

(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R))	Mid-level-ontology.kif 5608-5613	If the center of circle of a circle is equal to 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 the radius of the circle is equal to 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 5645-5652	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
(=> (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 5589-5594	If the diameter of a circle is equal to a real number an unit of measure(s), then there exists another real number such that the radius of the circle is equal to the other real number the unit of measure(s) and the other real number and 2.0 is equal to 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