radius - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - radius

radius

appearance as argument number 1

(documentation radius ChineseLanguage "(radius ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的半径的长度是 ?LENGTH。")	chinese_format.kif 2651-2652
(documentation radius EnglishLanguage "(radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.")	Merge.kif 7707-7708
(documentation radius JapaneseLanguage "(radius ?CIRCLE ?LENGTH) は、Circle ?CIRCLEの半径が ?LENGTHの長さを有することを意味する。")	japanese_format.kif 1368-1369
(domain radius 1 Circle)	Merge.kif 7704-7704	The number 1 argument of radius is an instance of circle
(domain radius 2 LengthMeasure)	Merge.kif 7705-7705	The number 2 argument of radius is an instance of length measure
(instance radius BinaryPredicate)	Merge.kif 7701-7701	radius is an instance of binary predicate
(instance radius SingleValuedRelation)	Merge.kif 7702-7702	radius is an instance of single valued relation
(instance radius TotalValuedRelation)	Merge.kif 7703-7703	radius is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage radius "%1 的 radius %n 是 %2")	chinese_format.kif 790-790
(format EnglishLanguage radius "the radius of %1 is %n %2")	english_format.kif 793-793
(format FrenchLanguage radius "le radius de %1 est %n %2")	french_format.kif 476-476
(format JapaneseLanguage radius "%1 の radius は %2 では %n")	english_format.kif 794-794
(format PortugueseLanguage radius "o radio de %1 e' %n %2")	portuguese_format.kif 428-428
(format ro radius "radius{raza} lui %1 %n{nu} este %2")	relations-ro.kif 498-498
(relatedInternalConcept arcLength radius)	Mid-level-ontology.kif 5698-5698	arc length is internally related to radius
(termFormat ChineseLanguage radius "半径")	chinese_format.kif 791-791	arc length is internally related to radius
(termFormat ChineseTraditionalLanguage radius "半徑")	domainEnglishFormat.kif 48608-48608	arc length is internally related to radius
(termFormat EnglishLanguage radius "radius")	domainEnglishFormat.kif 48607-48607	arc length is internally related to radius

antecedent

(=> (radius ?CIRCLE ?RADIUS) (equal ?CIRCLE Circle))	Merge.kif 7718-7720	If the radius of a circle is a length measure, then the circle is equal to circle
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7710-7716	If the radius of a circle is a length measure, then there exists a geometric point such that for all another geometric point if the other geometric point is a vertex of the circle, then the other geometric point is geometric distance the geometric point for the length measure

consequent

(=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))	Merge.kif 7732-7737	If the diameter of a circle is a length measure, then there exist a real number and an unit of measure such that the radius of the circle is the real number the unit of measure(s) and the real number and 2 the unit of measure(s) is equal to the length measure
(=> (equal ?C Circle) (exists (?R) (radius ?C ?R)))	Merge.kif 7678-7681	If a circle is equal to circle, then there exists a length measure such that the radius of the circle is the length measure
(=> (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 5756-5770	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 the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to 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

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