family relation (familyRelation)

A very general Predicate for biological relationships. (familyRelation organism1 organism2) means that organism1 and organism2 are biologically derived from a common ancestor.

Ontology

SUMO / OBJECTS

Class(es)

Classe

inheritable relation

PredicatoBinario
is instance of

RelazioneDiEquivalenza
is instance of

family relation

Subrelation(s)

parent sibling

Coordinate term(s)

arc weight authors before or equal causes causes subclass citizen closed on connected contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on equivalent content class equivalent content instance exploits expressed in language faces 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 inverse irreflexive on larger less than less than or equal to material measure meets temporally modal attribute overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

familyRelation(Organismo, Organismo)

Related WordNet synsets

relative, congener, congenator: an animal or plant that bears a relationship to another (as related by common descent or by membership in the same genus)
blood relation, blood relative, cognate, sib: one related by blood or origin; especially on sharing an ancestor with another
kin, kinsperson, family: a person having kinship with another or others; "he's kin"; "he's family"
familial: relating to or having the characteristics of a family; "children of the same familial background"; "familial aggregation"

See more related synsets on a separate page.

Axioms (2)

se group é un' istanza di GruppoFamiliare,
allora per ogni memb1,memb2 vale: se memb1 é un membro di group e memb2 é un membro di group, allora memb1 e memb2 sono parenti

(=>
      (instance ?GROUP FamilyGroup)
      (forall
            (?MEMB1 ?MEMB2)
            (=>
                  (and
                        (member ?MEMB1 ?GROUP)
                        (member ?MEMB2 ?GROUP))
                  (familyRelation ?MEMB1 ?MEMB2))))

Se organism1 e organism2 sono parenti, allora esiste organism3 tale che organism3 e organism1 sono parenti e organism3 e organism2 sono parenti.

(=>
      (familyRelation ?ORGANISM1 ?ORGANISM2)
      (exists
            (?ORGANISM3)
            (and
                  (familyRelation ?ORGANISM3 ?ORGANISM1)
                  (familyRelation ?ORGANISM3 ?ORGANISM2))))