subCollection concept from the SUMO knowledge base

Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > subCollection

Next BinaryPredicate: subPlan Up: BinaryPredicate, IrreflexiveRelation, TransitiveRelation Previous BinaryPredicate: subclass

subCollection

subject fact

subCollection documentation (subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2 2001-11-30 13:35:20.0
has domain1 Collection
has domain2 Collection
is an instance of BinaryPredicate
is an instance of IrreflexiveRelation
is an instance of TransitiveRelation

BinaryPredicate has axiom
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
2001-11-30 13:33:44.0

IrreflexiveRelation has axiom
(=>
(instance ?REL IrreflexiveRelation)
(forall (?INST)
(not
(holds ?REL ?INST ?INST))))
2001-11-30 13:34:32.0

TransitiveRelation has axiom
(=>
(partialOrderingOn ?RELATION ?CLASS)
(and
(reflexiveOn ?RELATION ?CLASS)
(instance ?RELATION TransitiveRelation)
(instance ?RELATION AntisymmetricRelation)))
2001-11-30 13:35:28.0
has axiom
(=>
(equivalenceRelationOn ?RELATION ?CLASS)
(and
(instance ?RELATION TransitiveRelation)
(instance ?RELATION SymmetricRelation)
(reflexiveOn ?RELATION ?CLASS)))
has axiom
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
2001-11-30 13:35:28.0

BinaryRelation is first domain of DomainFn 2001-11-30 13:33:44.0
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 2001-11-30 13:33:44.0
is first domain of trichotomizingOn
is second domain of inverse

Predicate is first domain of singleValued 2001-11-30 13:35:02.0

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

Next BinaryPredicate: subPlan Up: BinaryPredicate, IrreflexiveRelation, TransitiveRelation Previous BinaryPredicate: subclass

subCollection	*documentation* (subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2
	has domain1 Collection
	has domain2 Collection
	*is an instance* of** BinaryPredicate
	*is an instance* of** IrreflexiveRelation
	*is an instance* of** TransitiveRelation
BinaryPredicate	has axiom (=> (instance ?REL BinaryPredicate) (valence ?REL 2))
IrreflexiveRelation	has axiom (=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))
TransitiveRelation	has axiom (=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))
	has axiom (=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS)))
	has axiom (=> (instance ?REL TransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (holds ?REL ?INST1 ?INST3))))
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
Predicate	*is first domain* of** singleValued
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical