equal concept from the SUMO knowledge base

Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > equal

Next BinaryPredicate: equivalenceRelationOn Up: BinaryPredicate, EquivalenceRelation, RelationExtendedToQuantities Previous BinaryPredicate: element

equal

subject fact

equal documentation (equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2 2001-11-30 13:34:11.0
has domain1 Entity
has domain2 Entity
is an instance of BinaryPredicate
is an instance of EquivalenceRelation
is an instance of RelationExtendedToQuantities

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

RelationExtendedToQuantities has axiom
(=>
(and
(instance ?FUNCTION RelationExtendedToQuantities)
(instance ?FUNCTION BinaryFunction)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(equal (AssignmentFn ?FUNCTION
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT))
(MeasureFn ?VALUE ?UNIT)))))
2001-11-30 13:35:10.0
has axiom
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
2001-11-30 13:35:10.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

Relation is first domain of domain 2001-11-30 13:35:10.0
is first domain of domainSubclass
is first domain of holds
is first domain of subrelation
is first domain of valence
is second domain of subrelation

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: equivalenceRelationOn Up: BinaryPredicate, EquivalenceRelation, RelationExtendedToQuantities Previous BinaryPredicate: element

equal	*documentation* (equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2
	has domain1 Entity
	has domain2 Entity
	*is an instance* of** BinaryPredicate
	*is an instance* of** EquivalenceRelation
	*is an instance* of** RelationExtendedToQuantities
BinaryPredicate	has axiom (=> (instance ?REL BinaryPredicate) (valence ?REL 2))
RelationExtendedToQuantities	has axiom (=> (and (instance ?FUNCTION RelationExtendedToQuantities) (instance ?FUNCTION BinaryFunction) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (equal (AssignmentFn ?FUNCTION (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)) (MeasureFn ?VALUE ?UNIT)))))
RelationExtendedToQuantities	has axiom (=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
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
Relation	*is first domain* of** domain
	*is first domain* of** domainSubclass
	*is first domain* of** holds
	*is first domain* of** subrelation
	*is first domain* of** valence
	*is second domain* of** subrelation
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical