Class: QUANTITY

++Philosurfical: This class comes from AKT support ontology. It has the same slot specs as dimension, however we left it here cause many (akt) time-related entities depend on it! Hopefully the slot-renaming syntax is correct and will solve all the name related issues

•owl:Thing
        •PHILOSURFICAL-ENTITY
                •CRM-ENTITY
                        •DIMENSION
                                •QUANTITY

Super Classes

DIMENSION
HAS-MAGNITUDE ONLY NUMBER
HAS-UNIT-OF-MEASURE ONLY MEASUREMENT-UNIT
HAS-UNIT ONLY MEASUREMENT-UNIT
HAS-VALUE ONLY NUMBER

Abstract Syntax

Class(QUANTITY partial DIMENSION
                      restriction(HAS-MAGNITUDE allValuesFrom(NUMBER))
                      restriction(HAS-UNIT-OF-MEASURE allValuesFrom(MEASUREMENT-UNIT))
                      restriction(HAS-UNIT allValuesFrom(MEASUREMENT-UNIT))
                      restriction(HAS-VALUE allValuesFrom(NUMBER)))

Usage

Class Description/Definition (Necessary Conditions)

DURATION

Domain of

HAS-MAGNITUDE
Generated with OWLDoc