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

ユ栋ㄧ计 (IntersectionFn)

A BinaryFunction that maps two %SetOrClasses to the intersection of these SetOrClasses. An object is an instance of the intersection of two SetOrClasses just in case it is an instance of both of those SetOrClasses.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
  ユ栋ㄧ计  

Coordinate term(s)

猭ㄧ计  らㄧ计  盞ㄧ计  埃猭ㄧ计  ゅセセㄧ计  计ㄧ计  瓜隔畖ㄧ计  ㄧ计  丁筳ㄧ计  贺摸磞瓃ㄧ计  挡ㄧ计  ㄧ计  癸计ㄧ计  程ㄧ计  程秖隔畖ㄧ计  代秖ㄧ计  场だ俱砰畉钵ㄧ计  场だ俱砰ユ栋ㄧ计  场だ俱砰羆ㄧ计  程ㄧ计  程秖隔畖ㄧ计  だ牧ㄧ计  るㄧ计  猭ㄧ计  戳戳ㄧ计  秅戳┦禯ㄧ计  闽玒が干ㄧ计  癸丁ㄧ计  緇计ㄧ计  牧ㄧ计  ╰ㄧ计  硉ㄧ计  搭猭ㄧ计  丁虫ㄧ计  丁菌祘ㄧ计  羛栋ㄧ计  竚ㄧ计 

Type restrictions

栋┪贺摸 IntersectionFn(栋┪贺摸, 栋┪贺摸)

Related WordNet synsets

intersection, product
the set of elements common to two or more sets; "the set of red hats is the intersection of the set of hats and the set of red things"
intersection is kind of (all)...   intersection is kind of...  

Axioms (2)

entity 琌 "class1 ㎝ class2羛栋"  龟ㄒ if and only if entity 琌 class1龟ㄒ and entity 琌 class2龟ㄒ. 
(<=>
      (instance
            ?ENTITY
            (IntersectionFn ?CLASS1 ?CLASS2))
      (and
            (instance ?ENTITY ?CLASS1)
            (instance ?ENTITY ?CLASS2)))
If class1 琌 栋┪贺摸龟ㄒ and class2 琌 栋┪贺摸龟ㄒ, then "class1 ㎝ class2畉钵" 单 "class1 ㎝ "class2が干"  羛栋". 
(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))