Class: NUMBER

E60 -CIDOC - This class comprises any encoding of computable (algebraic) values such as integers, real numbers, complex numbers, vectors, tensors etc., including intervals of these values to express limited precision. ++Philosurfical: it seems that the number spec works as it is, getting the right subclasses form the OCML base ontology. We might want to check this better in the future, and possibly integrate directly a number-types ontology.

•owl:Thing
        •PHILOSURFICAL-ENTITY
                •PRIMITIVE-VALUE
                        •NUMBER

Super Classes

PRIMITIVE-VALUE

Abstract Syntax

Class(NUMBER partial PRIMITIVE-VALUE)

Usage

Class Description/Definition (Necessary Conditions)

DIMENSION, INTEGER, PHYSICAL-OBJECT, QUANTITY, SPATIAL-COORDINATES, SYMBOLIC-EXPRESSION-FRAGMENT
Generated with OWLDoc