| 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 4708-4710 | |
| (externalImage Sphere "http://upload.wikimedia.org/wikipedia/commons/3/38/ Sphere-wireframe.png") | pictureList.kif 2000-2000 | |
| (subclass Sphere ThreeDimensionalFigure) | Mid-level-ontology.kif 4707-4707 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Sphere "球") | domainEnglishFormat.kif 54591-54591 | |
| (termFormat ChineseTraditionalLanguage Sphere "球") | domainEnglishFormat.kif 54590-54590 | |
| (termFormat EnglishLanguage Sphere "sphere") | domainEnglishFormat.kif 54589-54589 |
| antecedent |
|
|
| (=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST))))) |
Mid-level-ontology.kif 4712-4720 | |
| (=> (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (greaterThan ?RADIUS ?R)) Unlikely)) |
Mid-level-ontology.kif 12952-12962 | |
| (=> (and (defaultMinimumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (lessThan ?RADIUS ?R)) Unlikely)) |
Mid-level-ontology.kif 12933-12942 | |
| (=> (and (sphereRadius ?OBJECT ?RADIUS) (attribute ?OBJECT Sphere)) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?OBJECT) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Mid-level-ontology.kif 12915-12923 |
| consequent |
|
|
| (=> (and (attribute ?X ?HEMI) (instance ?HEMI HemisphereFigure)) (exists (?Y) (and (instance ?Y Sphere) (half ?X ?Y)))) |
Mid-level-ontology.kif 25943-25950 | |
| (=> (instance ?B Ball) (attribute ?B Sphere)) |
Mid-level-ontology.kif 16450-16452 | |
| (=> (instance ?BB BallBearing) (attribute ?BB Sphere)) |
Cars.kif 1413-1415 | |
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 367-373 | |
| (=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 25001-25003 |
|
|
|