SphericalObject |
appearance as argument number 1 |
(documentation SphericalObject EnglishLanguage "An object with the attribute of being spherical.") | Mid-level-ontology.kif 25645-25645 | |
(subclass SphericalObject Object) | Mid-level-ontology.kif 25644-25644 | SphericalObject è una sottoclasse di Oggetto |
appearance as argument number 2 |
(termFormat EnglishLanguage SphericalObject "spherical object") | domainEnglishFormat.kif 65530-65530 |
antecedent |
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 25647-25649 |
|