SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > properlyFills |
properlyFills comparison table |
Subject | have domain2 | have domain1 | be first domain of | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
AsymmetricRelation | trichotomizingOn | inverse | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | |||
BinaryPredicate | singleValued | inverse | A Predicate relating two items - its valence is two | (=> | Predicate | |||
SpatialRelation | valence | subrelation | The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations | (=> | Relation | |||
properlyFills | Hole | Object | valence | subrelation | (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) | (=> | SpatialRelation |
Next AsymmetricRelation: properPart Up: AsymmetricRelation, BinaryPredicate, SpatialRelation Previous AsymmetricRelation: precondition