SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > IntersectionFn |
IntersectionFn | ||||
subject | fact |
IntersectionFn | documentation A BinaryFunction that maps two %Classes to the intersection of these Classes. An object is an instance of the intersection of two Classes just in case it is an instance of both of those Classes | |
has axiom (<=> | ||
has axiom (equal (RelativeComplementFn ?CLASS1 ?CLASS2) | ||
has domain1 Class | ||
has domain2 Class | ||
has range Class | ||
is an instance of BinaryFunction | ||
BinaryFunction | is first domain of distributes | |
is first domain of identityElement | ||
is second domain of distributes | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |