SphericalObject(spherical object) |
appearance as argument number 1 |
![]() |
(documentation SphericalObject EnglishLanguage "An object with the attribute of being spherical.") | Mid-level-ontology.kif 27252-27252 | |
(subclass SphericalObject Object) | Mid-level-ontology.kif 27251-27251 | Spherical object is a subclass of object |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage SphericalObject "spherical object") | domainEnglishFormat.kif 65522-65522 |
antecedent |
![]() |
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 27254-27256 |
|
consequent |
![]() |
(=> (instance ?SHOT FirearmShot) (exists (?C ?P ?CLASS ?X) (and (instance ?C Collection) (member ?P ?C) (instance ?P ?CLASS) (subclass ?CLASS SphericalObject) (approximateDiameter ?P (MeasureFn ?X Millimeter)) (modalAttribute (and (material ?CLASS Lead) (lessThan ?X 10)) Likely)))) |
Mid-level-ontology.kif 1150-1163 |
|
![]() |
![]() |