cardinality fn (CardinalityFn)

(CardinalityFn class) returns the number of instances in the SetOrClass or Collection class.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

class

inheritable relation

unary function
is instance of

asymmetric relation
is instance of

cardinality fn

Coordinate term(s)

absolute value fn abstraction fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn round fn signum fn sine fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn attribute authors causes causes subclass citizen closed on completely fills contains information crosses date developmental form documentation duration editor element equivalence relation on exploits expressed in language fills frequency graph part has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest inhabits irreflexive on manner measure meets temporally member modal attribute parent partial ordering on partially fills path length penetrates possesses precondition proper part properly fills publishes range range subclass realization reflexive on successor attribute surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

number CardinalityFn(set or class)

Axioms (9)

If set is an instance of finite set, then there exists nonnegative integer number so that number is equal to "the number of instances in set".

(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))

If year is an instance of year, then "the number of instances in "decomposition of year into ? months"" is equal to .

(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))

If month is an instance of month and duration of month is "number day duration(s)", then "the number of instances in "decomposition of month into ? days"" is equal to number.

(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))

If week is an instance of week, then "the number of instances in "decomposition of week into ? days"" is equal to .

(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))

If day is an instance of day, then "the number of instances in "decomposition of day into ? hours"" is equal to .

(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))

If hour is an instance of hour, then "the number of instances in "decomposition of hour into ? minutes"" is equal to .

(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))

If minute is an instance of minute, then "the number of instances in "decomposition of minute into ? seconds"" is equal to .

(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))

If count is an instance of counting and count is an agent of agent and entity is a patient of count, then there exists number so that agent knows ""the number of instances in entity" is equal to number".

(=>
      (and
            (instance ?COUNT Counting)
            (agent ?COUNT ?AGENT)
            (patient ?COUNT ?ENTITY))
      (exists
            (?NUMBER)
            (knows
                  ?AGENT
                  (equal
                        (CardinalityFn ?ENTITY)
                        ?NUMBER))))

"the number of instances in continent" is equal to .

(equal
      (CardinalityFn Continent)
      7)