Circle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Circle

Circle

appearance as argument number 1

(documentation Circle ChineseLanguage "这是 Oval 的类别，以至构成 Circle 的所有 GeometricPoint 和单一的 GeometricPoint，称为 Circle 的中心是等距的。")	chinese_format.kif 2647-2648
(documentation Circle EnglishLanguage "A subAttribute of Oval such that all GeometricPoints that make up the Circle are equidistant from a single GeometricPoint, known as the center of the Circle.")	Merge.kif 7689-7691
(documentation Circle JapaneseLanguage "Oval のクラスは、 Circle を構成するすべてのGPが、 Circle の中心として知られている単一の GeometricPoint から等距離である。")	japanese_format.kif 1364-1365
(externalImage Circle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ circle.png")	pictureList.kif 346-346
(externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg")	pictureList.kif 67-67
(subAttribute Circle Oval)	Merge.kif 7687-7687	Circle は Oval の subattribute では

appearance as argument number 2

(subAttribute DiskShaped Circle)	Mid-level-ontology.kif 27246-27246	DiskShaped は Circle の subattribute では
(termFormat ChineseLanguage Circle "圈")	domainEnglishFormat.kif 14871-14871	DiskShaped は Circle の subattribute では
(termFormat ChineseTraditionalLanguage Circle "圈")	domainEnglishFormat.kif 14870-14870	DiskShaped は Circle の subattribute では
(termFormat EnglishLanguage Circle "circle")	domainEnglishFormat.kif 14869-14869	DiskShaped は Circle の subattribute では

appearance as argument number 3

(domain CenterOfCircleFn 1 Circle)	Merge.kif 7708-7708	CenterOfCircleFn の数値 1 引数は Circle の instance では
(domain DiameterFn 1 Circle)	Mid-level-ontology.kif 5567-5567	DiameterFn の数値 1 引数は Circle の instance では
(domain RadiusFn 1 Circle)	Mid-level-ontology.kif 5586-5586	RadiusFn の数値 1 引数は Circle の instance では
(domain circumference 1 Circle)	Mid-level-ontology.kif 33074-33074	circumference の数値 1 引数は Circle の instance では
(domain diameter 1 Circle)	Merge.kif 7741-7741	diameter の数値 1 引数は Circle の instance では
(domain radius 1 Circle)	Merge.kif 7719-7719	radius の数値 1 引数は Circle の instance では

antecedent

(=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M))	Cars.kif 1541-1550	cylinderBore HoleRegion and 長さ測定 HoleRegion は HoleRegion の instance では shape HoleRegion and Cylinder オブジェクトは HoleRegion の part ではオブジェクトは地域の instance では shape オブジェクト and Circle equal Circle and Circle Circle の diameter は長さ測定では
(=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine))	Mid-level-ontology.kif 5846-5852	equal GeometricFigure and ChordOfACircle CenterOfCircleFn Circle の vertex は GeometricFigure では equal Circle and Circle equal GeometricFigure and DiameterLine
(=> (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	equal GeometricFigure and CircleSector equal Circle and Circle geometricPart GeometricFigure and Circle equal OneDimensionalFigure and ClosedLineSegment GeometricFigure の size は OneDimensionalFigure では lineMeasure OneDimensionalFigure and RadiusFn Circle
(=> (and (equal ?S SecantLine) (pointOfFigure ?P1 ?S) (pointOfFigure ?P2 ?S) (not (equal ?P1 ?P2)) (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C)) (exists (?CHORD) (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD) (geometricPart ?CHORD ?S))))	Mid-level-ontology.kif 5867-5881	equal GeometricFigure and SecantLine GeometricPoint の vertex は GeometricFigure では GeometricPoint の vertex は GeometricFigure では equal GeometricPoint and GeometricPoint equal GeometricFigure and Circle GeometricPoint の vertex は GeometricFigure では GeometricPoint の vertex は GeometricFigure では GeometricFigureHORD equal GeometricFigureHORD and ChordOfACircle endPointsOfLine GeometricPoint, GeometricPoint and GeometricFigureHORD geometricPart GeometricFigureHORD and GeometricFigure
(=> (and (instance ?A CentralAngle) (angleOfFigure ?A ?C) (equal ?C Circle)) (angularMeasure ?A (MeasureFn 360 AngularDegree)))	Mid-level-ontology.kif 5769-5774	TwoDimensionalAngle は CentralAngle の instance では angleOfFigure TwoDimensionalAngle and GeometricFigure equal GeometricFigure and Circle angularMeasure TwoDimensionalAngle and 360 の AngularDegree(s)
(=> (equal ?C Circle) (exists (?P) (equal (CenterOfCircleFn ?C) ?P)))	Merge.kif 7698-7701	equal Circle and Circle GeometricPoint equal CenterOfCircleFn Circle and GeometricPoint
(=> (equal ?C Circle) (exists (?R) (radius ?C ?R)))	Merge.kif 7693-7696	equal Circle and Circle 長さ測定 Circle の radius は長さ測定では

consequent

(=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5700-5710	arcLength CircularArc and 実数の測定単位(s) equal CircularArc and SemicircularArc Circle 実数 equal Circle and Circle geometricPart CircularArc and Circle circumference Circle and 実数の測定単位(s) equal 実数 and ( 実数 + 実数)
(=> (and (equal ?A CircularArc) (pointOfFigure ?P ?A)) (exists (?C ?P2) (and (geometricPart ?A ?C) (equal ?C Circle) (pointOfFigure ?P2 ?C) (equal ?P ?P2))))	Mid-level-ontology.kif 5658-5667	equal GeometricFigure and CircularArc GeometricPoint の vertex は GeometricFigure では GeometricFigure GeometricPoint2 geometricPart GeometricFigure and GeometricFigure equal GeometricFigure and Circle GeometricPoint2 の vertex は GeometricFigure では equal GeometricPoint and GeometricPoint2
(=> (and (equal ?CHORD ChordOfACircle) (endPointsOfLine ?P1 ?P2 ?CHORD)) (exists (?C) (and (equal ?C Circle) (pointOfFigure ?P1 ?C) (pointOfFigure ?P2 ?C))))	Mid-level-ontology.kif 5831-5839	equal ClosedLineSegment and ChordOfACircle endPointsOfLine GeometricPoint, GeometricPoint and ClosedLineSegment GeometricFigure equal GeometricFigure and Circle GeometricPoint の vertex は GeometricFigure では GeometricPoint の vertex は GeometricFigure では
(=> (circumference ?C ?L) (equal ?C Circle))	Mid-level-ontology.kif 33090-33092	circumference Circle and 長さ測定 equal Circle and Circle
(=> (diameter ?CIRCLE ?LENGTH) (equal ?CIRCLE Circle))	Merge.kif 7754-7756	Circle の diameter は長さ測定では equal Circle and Circle
(=> (equal ?A CircularArc) (exists (?C) (and (equal ?C Circle) (geometricPart ?A ?C))))	Mid-level-ontology.kif 5649-5654	equal GeometricFigure and CircularArc GeometricFigure equal GeometricFigure and Circle geometricPart GeometricFigure and GeometricFigure
(=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C)))))	Mid-level-ontology.kif 5854-5860	equal OneDimensionalFigure and DiameterLine Circle equal Circle and Circle lineMeasure OneDimensionalFigure and DiameterFn Circle
(=> (equal ?L (DiameterFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5577-5580	equal 長さ測定 and DiameterFn Circle equal Circle and Circle
(=> (equal ?L (RadiusFn ?C)) (equal ?C Circle))	Mid-level-ontology.kif 5596-5599	equal 長さ測定 and RadiusFn Circle equal Circle and Circle
(=> (equal ?P (CenterOfCircleFn ?C)) (equal ?C Circle))	Merge.kif 7711-7714	equal GeometricPoint and CenterOfCircleFn Circle equal Circle and Circle
(=> (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 5606-5615	equal TwoDimensionalFigure and CircleSector TwoDimensionalFigure OneDimensionalFigure equal TwoDimensionalFigure and Circle geometricPart TwoDimensionalFigure and TwoDimensionalFigure equal OneDimensionalFigure and CircularArc geometricPart OneDimensionalFigure and TwoDimensionalFigure TwoDimensionalFigure の size は OneDimensionalFigure では sideOfIntersection TwoDimensionalFigure, TwoDimensionalFigure and OneDimensionalFigure
(=> (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 5737-5751	GeometricFigure は CentralAngle の instance では OneDimensionalFigure OneDimensionalFigure2, Circle and 長さ測定 equal OneDimensionalFigure and ClosedLineSegment GeometricFigure の size は OneDimensionalFigure では equal OneDimensionalFigure2 and ClosedLineSegment GeometricFigure の size は OneDimensionalFigure2 では equal Circle and Circle geometricPart GeometricFigure and Circle pointOfIntersection OneDimensionalFigure, OneDimensionalFigure2 and CenterOfCircleFn Circle lineMeasure OneDimensionalFigure and 長さ測定 lineMeasure OneDimensionalFigure2 and 長さ測定 Circle の radius は長さ測定では
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	自己接続オブジェクトは GolfHole の instance では自己接続オブジェクト shape 自己接続オブジェクト and Cylinder 自己接続オブジェクトの top は自己接続オブジェクトでは自己接続オブジェクトは地域の instance では shape 自己接続オブジェクト and 自己接続オブジェクトIR equal 自己接続オブジェクトIR and Circle 自己接続オブジェクトIR の diameter は 4.25 の Inch(s) では
(=> (radius ?CIRCLE ?RADIUS) (equal ?CIRCLE Circle))	Merge.kif 7733-7735	Circle の radius は長さ測定では equal Circle and Circle

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