*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** (*<=>* (*instance* ?ENTITY (*GeneralizedIntersectionFn* ?SUPERCLASS)) (forall (?CLASS) (=> (*instance* ?CLASS ?SUPERCLASS) (*instance* ?ENTITY ?CLASS))))
| |

**has axiom** (=> (*instance* ?CLASS MutuallyDisjointClass) (*equal* (*GeneralizedIntersectionFn* ?CLASS) *NullSet*))
| |

**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 | |