SphericalObject |
appearance as argument number 1 |
![]() |
(documentation SphericalObject EnglishLanguage "An object with the attribute of being spherical.") | Mid-level-ontology.kif 27250-27250 | |
(subclass SphericalObject Object) | Mid-level-ontology.kif 27249-27249 |
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 27252-27254 |
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 |
![]() |
![]() |