SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > properlyFills |
properlyFills | ||||
subject | fact |
properlyFills | documentation (properlyFills ?OBJ ?HOLE) means that ?HOLE is properly (though perhaps incompletely) filled by ?OBJ, i.e. some part of ?HOLE is perfectly filled by ?OBJ. Note that properlyFills is the dual of completelyFills, and is so related to partiallyFills that ?OBJ properlyFills ?HOLE just in case ?OBJ partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense) | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has domain1 Object | ||
has domain2 Hole | ||
is an instance of AsymmetricRelation | ||
is an instance of BinaryPredicate | ||
is an instance of SpatialRelation | ||
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 | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next AsymmetricRelation: properPart Up: AsymmetricRelation, BinaryPredicate, SpatialRelation Previous AsymmetricRelation: precondition