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

阀て羛栋ㄧ计 (GeneralizedUnionFn)

A UnaryFunction that takes a SetOrClass of Classes as its single argument and returns a SetOrClass which is the merge of all of the Classes in the original SetOrClass, i.e. the SetOrClass containing just those instances which are instances of an instance of the original SetOrClass.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
  阀て羛栋ㄧ计  

Coordinate term(s)

荡癸ㄧ计  磞瓃ㄧ计  ┓緇┒  ┓タ┒  ┓タち  はㄧ计  丁秨﹍ㄧ计  程竊翴ㄧ计  璸计ㄧ计  ㄧ计  が干ㄧ计  緇┒ㄧ计  ユ隔畖ㄧ计  虫ㄧ计  丁挡ㄧΑ  程竊翴ㄧ计  絛瞅ㄧ计  ㄧ计  タㄧ计  丁ゼㄓㄧΑ  阀てㄧ计  货璸ㄧ计  店计ㄧ计  程ゼㄓ丁ㄧ计  程筁丁ㄧ计  癬﹍竊翴ㄧ计  俱计キよㄧ计  璸ㄧ计  ㄧ计  计ㄧ计  κ窾璸ㄧ计  κ窾だぇ璸ㄧ计  だぇ璸ㄧ计  程ユ隔畖ㄧ计  ーμㄧ计  だㄧ计  舱麓ㄧ计  筁丁ㄧΑ  隔畖秖ㄧ计  だぇ璸ㄧ计  经栋ㄧ计  玡计ㄧ计  砰ㄧ计  ┪礛瞯ㄧ计  疭┦ㄧ计  Τ瞶计ㄧ计  龟计ㄧ计  计ㄧ计  俱计ㄧ计  タ璽腹ㄧ计  タ┒ㄧ计  ブㄧ计  キよㄧ计  计ㄧ计  タちㄧ计  璸ㄧ计  沧竊翴ㄧ计  癩玻ㄧ计  丁ㄧ计  ㄧ计 

Type restrictions

栋┪贺摸 GeneralizedUnionFn(subclass 栋┪贺摸)

Axioms (1)

entity 琌 "superclass  ┮Τ じ  羛栋"  龟ㄒ if and only if there exists superclass class so that entity 琌 class龟ㄒ. 
(<=>
      (instance
            ?ENTITY
            (GeneralizedUnionFn ?SUPERCLASS))
      (exists
            (?CLASS)
            (and
                  (instance ?CLASS ?SUPERCLASS)
                  (instance ?ENTITY ?CLASS))))