SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > IntransitiveRelation |
IntransitiveRelation comparison table |
Subject | have domain2 | have domain1 | be first domain of | be second domain of | documentation | have axiom | is an instance of | have relatedInternalConcept |
---|---|---|---|---|---|---|---|---|
element | Set | Entity | singleValued | inverse | (element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set | (=> | IntransitiveRelation | |
meetsTemporally | TimeInterval | TimeInterval | valence | subrelation | (meetsTemporally ?INTERVAL1 ?INTERVAL2) means that the terminal point of the TimeInterval ?INTERVAL1 is the initial point of the TimeInterval ?INTERVAL2 | (=> | TemporalRelation | |
member | Collection | SelfConnectedObject | valence | subrelation | A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock | (=> | SpatialRelation | instance |
on | trichotomizingOn | inverse | This is a cognitive primitive, derived from the up/down schema and involving contact. (on ?OBJ1 ?OBJ2) means that ?OBJ1 is on top of ?OBJ2 | (=> | IntransitiveRelation | |||
parent | Organism | Organism | singleValued | inverse | The general relationship of parenthood. (parent ?PARENT ?CHILD) means that ?PARENT is a biological parent of ?CHILD | (=> | IntransitiveRelation | |
penetrates | trichotomizingOn | inverse | (penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth) | (=> | IntransitiveRelation |
Next BinaryRelation: IrreflexiveRelation Up: BinaryRelation Previous BinaryRelation: distributes