Sphere
|
|
appearance as argument number 1 |
(documentation Sphere EnglishLanguage "The class of ThreeDimensionalFigures such that all GeometricPoints that make up the Sphere are equidistant from a single GeometricPoint, known as the center of the Sphere.") | Mid-level-ontology.kif 4985-4987 | |
(externalImage Sphere "http://upload.wikimedia.org/wikipedia/commons/3/38/ Sphere-wireframe.png") | pictureList.kif 1999-1999 | |
(subclass Sphere ThreeDimensionalFigure) | Mid-level-ontology.kif 4984-4984 | Sphere is a subclass of three dimensional figure |
appearance as argument number 2 |
(termFormat ChineseLanguage Sphere "球") | domainEnglishFormat.kif 54612-54612 | |
(termFormat ChineseTraditionalLanguage Sphere "球") | domainEnglishFormat.kif 54611-54611 | |
(termFormat EnglishLanguage Sphere "sphere") | domainEnglishFormat.kif 54610-54610 |
antecedent |
consequent |
(=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y)))) |
Mid-level-ontology.kif 26548-26555 |
|
(=> (instance ?B Ball) (attribute ?B Sphere)) |
Mid-level-ontology.kif 17010-17012 | |
(=> (instance ?BB BallBearing) (attribute ?BB Sphere)) |
Cars.kif 1413-1415 |
|
(=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 418-423 | |
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 25602-25604 |
|