Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

asymmetric relation (AsymmetricRelation)

A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]

is subclass of

abstract

is subclass of

relation

is subclass of

binary relation

is subclass of

irreflexive relation
is subclass of

is subclass of

[tree]

is subclass of

abstract

is subclass of

relation

is subclass of

binary relation

is subclass of

antisymmetric relation
is subclass of

is subclass of

is subclass of

asymmetric relation

Instance(s)

immediate instance immediate subclass range range subclass valence documentation successor attribute front fn back fn proper part member contains information attribute manner probability fn in scope of interest in list closed on reflexive on irreflexive on partial ordering on total ordering on trichotomizing on equivalence relation on causes causes subclass time holds during exploits has purpose has skill holds right holds obligation crosses penetrates possesses precondition realization expressed in language uses identity element element cardinality fn graph part path length measure duration frequency temporal part meets temporally date surface hole principal host fn partially fills properly fills completely fills fills skin fn developmental form inhabits parent authors editor publishes version citizen modal attribute

Subclass(es)

case role propositional attitude object attitude

Coordinate term(s)

partial ordering relation

Axioms (1)

If

rel is an instance of binary relation
the number argument of rel is an instance of class1 or the number argument of rel is a subclass of class1
the number argument of rel is an instance of class2 or the number argument of rel is a subclass of class2 or range of rel is an instance of class2 or the values returned by rel are subclasses of class2
class1 is disjoint from class2

, then rel is an instance of asymmetric relation.

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))