SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > partiallyFills |
partiallyFills 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 | |||
partiallyFills | Hole | Object | valence | subrelation | (partiallyFills ?OBJ ?HOLE) means that there is an Object ?OBJ that completelyFills some part of ?HOLE. Note that if (partiallyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (partiallyFills ?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one | (=> | SpatialRelation |
Next AsymmetricRelation: partialOrderingOn Up: AsymmetricRelation, BinaryPredicate, SpatialRelation Previous AsymmetricRelation: parent