SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > GeneralizedIntersectionFn |
GeneralizedIntersectionFn | ||||
subject | fact |
GeneralizedIntersectionFn | documentation A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the intersection of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of all instances of the original Class | |
has axiom (<=> | ||
has axiom (=> | ||
has domain1 Class | ||
has range Class | ||
is an instance of UnaryFunction | ||
BinaryRelation | is first domain of DomainFn | |
is first domain of equivalenceRelationOn | ||
is first domain of inverse | ||
is first domain of irreflexiveOn | ||
is first domain of partialOrderingOn | ||
is first domain of RangeFn | ||
is first domain of reflexiveOn | ||
is first domain of totalOrderingOn | ||
is first domain of trichotomizingOn | ||
is second domain of inverse | ||
Function | is first domain of AssignmentFn | |
is first domain of closedOn | ||
is first domain of range | ||
is first domain of rangeSubclass | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next UnaryFunction: GeneralizedUnionFn Up: UnaryFunction Previous UnaryFunction: FutureFn