IntersectionFn concept from the SUMO knowledge base

Next BinaryFunction: KappaFn Up: BinaryFunction Previous BinaryFunction: HourIntervalFn

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 2001-11-30 13:34:31.0
has axiom
(<=>
(instance ?ENTITY (IntersectionFn ?CLASS1 ?CLASS2))
(and
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))
has axiom
(equal (RelativeComplementFn ?CLASS1 ?CLASS2)
(IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))
2001-11-30 13:34:31.0
has domain1 Class
has domain2 Class
has range Class
is an instance of BinaryFunction

BinaryFunction is first domain of distributes 2001-11-30 13:33:43.0
is first domain of identityElement
is second domain of distributes

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

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 (<=> (instance ?ENTITY (IntersectionFn ?CLASS1 ?CLASS2)) (and (instance ?ENTITY ?CLASS1) (instance ?ENTITY ?CLASS2)))
	has axiom (equal (RelativeComplementFn ?CLASS1 ?CLASS2) (IntersectionFn ?CLASS1 (ComplementFn ?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
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical