immediate subclass (immediateSubclass)

A SetOrClass class1 is an immediateSubclass of another SetOrClass class2 just in case class1 is a subclass of class2 and there is no other subclass of class2 such that class1 is also a subclass of it.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

RelazioneAsimmetrica
is instance of

RelazioneIntransitiva
is instance of

immediate subclass

Superrelation(s)

subclass

immediate subclass

Coordinate term(s)

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

Axioms (1)

Se class1 é una sottoclasse immediata di class2, allora non esiste class2 class3 tale che class1 é una sottoclasse di class3 e class2 is not uguale a class3 e class1 is not uguale a class3.

(=>
      (immediateSubclass ?CLASS1 ?CLASS2)
      (not
            (exists
                  (?CLASS3)
                  (and
                        (subclass ?CLASS3 ?CLASS2)
                        (subclass ?CLASS1 ?CLASS3)
                        (not
                              (equal ?CLASS2 ?CLASS3))
                        (not
                              (equal ?CLASS1 ?CLASS3))))))