sibling (sibling)

The relationship between two Organisms that have the same mother and father. Note that this relationship does not hold between half-brothers, half-sisters, etc.

Ontology

SUMO / OBJECTS

Class(es)

Classe

inheritable relation

PredicatoBinario
is instance of

RelazioneSimmetrica
is instance of

RelazioneNonRiflessiva
is instance of

sibling

Superrelation(s)

family relation

sibling

Coordinate term(s)

back fn front fn arc weight attribute authors before before or equal causes causes subclass citizen closed on connected connected engineering components contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally modal attribute overlaps partially overlaps spatially overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

sibling(Organismo, Organismo)

Related WordNet synsets

sibling, sib: a person's brother or sister
whole: (of siblings) having the same parents; "whole brothers and sisters"

See more related synsets on a separate page.

Axioms (1)

animal1 é un fratello germano di animal2 se e solo se esiste father,mother tale che father é un padre di animal1 e father é un padre di animal2 e mother é una madre di animal1 e mother é una madre di animal2.

(<=>
      (sibling ?ANIMAL1 ?ANIMAL2)
      (exists
            (?FATHER ?MOTHER)
            (and
                  (father ?ANIMAL1 ?FATHER)
                  (father ?ANIMAL2 ?FATHER)
                  (mother ?ANIMAL1 ?MOTHER)
                  (mother ?ANIMAL2 ?MOTHER))))