SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > distributes |
distributes | ||||
subject | fact |
distributes | documentation A BinaryFunction ?FUNCTION1 is distributive over another BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is equal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3 | |
has axiom (=> | ||
has domain1 BinaryFunction | ||
has domain2 BinaryFunction | ||
is an instance of BinaryPredicate | ||
is an instance of BinaryRelation | ||
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 | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next BinaryPredicate: documentation Up: BinaryPredicate, BinaryRelation Previous BinaryPredicate: disjoint