intersection fn (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.

Ontologie

SUMO / SET/CLASS-THEORY

Class(es)

třída

inheritable relation

binární funkce

intersection fn

Související termín(y)

addition fn day fn density fn division fn edition fn exponentiation fn graph path fn hour fn interval fn kappa fn list concatenate fn list order fn log fn max fn maximal weighted path fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder fn second fn series volume fn speed fn subtraction fn temporal composition fn time interval fn union fn where fn

Typy argumentů

množina nebo třída IntersectionFn(množina nebo třída, množina nebo třída)

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"

Axiomy (2)

entity je instancí třídy "intersection fn(class1,class2)" tehdy a jen tehdy pokud entity je instancí třídy class1 a entity je instancí třídy class2.

(<=>
      (instance
            ?ENTITY
            (IntersectionFn ?CLASS1 ?CLASS2))
      (and
            (instance ?ENTITY ?CLASS1)
            (instance ?ENTITY ?CLASS2)))

Jestliže class1 je instancí třídy množina nebo třída a class2 je instancí třídy množina nebo třída, potom "relative complement fn(class1,class2)" se rovná "intersection fn(class1,complement fn(class2))".

(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))