Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

璸计ㄧ计 (CardinalityFn)

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

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
ぃ癸嘿闽玒
is instance of
is instance of
  璸计ㄧ计  

Coordinate term(s)

荡癸ㄧ计  磞瓃ㄧ计  ┓緇┒  ┓タ┒  ┓タち  はㄧ计  丁秨﹍ㄧ计  程竊翴ㄧ计  ㄧ计  が干ㄧ计  緇┒ㄧ计  ユ隔畖ㄧ计  虫ㄧ计  丁挡ㄧΑ  程竊翴ㄧ计  絛瞅ㄧ计  ㄧ计  タㄧ计  丁ゼㄓㄧΑ  阀てㄧ计  阀て羛栋ㄧ计  货璸ㄧ计  店计ㄧ计  程ゼㄓ丁ㄧ计  程筁丁ㄧ计  癬﹍竊翴ㄧ计  俱计キよㄧ计  璸ㄧ计  ㄧ计  计ㄧ计  κ窾璸ㄧ计  κ窾だぇ璸ㄧ计  だぇ璸ㄧ计  程ユ隔畖ㄧ计  ーμㄧ计  だㄧ计  舱麓ㄧ计  筁丁ㄧΑ  隔畖秖ㄧ计  だぇ璸ㄧ计  经栋ㄧ计  玡计ㄧ计  砰ㄧ计  ┪礛瞯ㄧ计  疭┦ㄧ计  Τ瞶计ㄧ计  龟计ㄧ计  计ㄧ计  俱计ㄧ计  タ璽腹ㄧ计  タ┒ㄧ计  ブㄧ计  キよㄧ计  计ㄧ计  タちㄧ计  璸ㄧ计  沧竊翴ㄧ计  癩玻ㄧ计  丁ㄧ计  ㄧ计  妮┦    籉  Ω摸籉  そチ  超  恶骸  癟  ユ  ら戳  祇甶戳Α  ゅ弧  尿丁  絪  じ  单闽玒  ノ  ...粂ē笷  恶  Ω计  瓜场だ  Τ種瓜  Τмォ  ...戳丁痷  斗ㄏ...痷  Τ舦ㄏ...痷  瑌  じ  钡龟ㄒ  钡Ω贺摸  ﹃い  猔種絛瞅い  ﹡  獶は甮...  よΑ/薄  代秖  琿钡  Θ  薄篈妮┦  蛮克  熬...  场だ恶  隔畖    局Τ  ∕兵ン  タ场だ  続讽恶    絛瞅  絛瞅Ω贺摸  龟瞷  は甮...  尿钡妮┦    丁场だ  丁  ...  だ猭  ㄏノ  挡基  硑セ 

Type restrictions

计 CardinalityFn(栋┪贺摸)

Axioms (9)

If set 琌 Τ栋龟ㄒ, then there exists 獶璽俱计 number so that number 单 "set い 龟ㄒ  计ヘ". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))
If year 琌 龟ㄒ, then ""year だ秆Θ ? るs" い 龟ㄒ  计ヘ" 单 . 
(=>
      (instance ?YEAR Year)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?YEAR Month))
            12))
If month 琌 る龟ㄒ and month尿 琌 "number ら璸(s)", then ""month だ秆Θ ? らs" い 龟ㄒ  计ヘ" 单 number. 
(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))
If week 琌 秅龟ㄒ, then ""week だ秆Θ ? らs" い 龟ㄒ  计ヘ" 单 . 
(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))
If day 琌 ら龟ㄒ, then ""day だ秆Θ ? s" い 龟ㄒ  计ヘ" 单 . 
(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))
If hour 琌 龟ㄒ, then ""hour だ秆Θ ? だs" い 龟ㄒ  计ヘ" 单 . 
(=>
      (instance ?HOUR Hour)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?HOUR Minute))
            60))
If minute 琌 だ龟ㄒ, then ""minute だ秆Θ ? s" い 龟ㄒ  计ヘ" 单 . 
(=>
      (instance ?MINUTE Minute)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MINUTE Second))
            60))
If count 琌 璸计龟ㄒ and count 琌 agent琁ㄆ and entity 琌 countㄆ, then there exists number so that agent (ぃ笵s) %2. 
(=>
      (and
            (instance ?COUNT Counting)
            (agent ?COUNT ?AGENT)
            (patient ?COUNT ?ENTITY))
      (exists
            (?NUMBER)
            (knows
                  ?AGENT
                  (equal
                        (CardinalityFn ?ENTITY)
                        ?NUMBER))))
"嘲 い 龟ㄒ  计ヘ" 单 . 
(equal
      (CardinalityFn Continent)
      7)