father (father)

The general relationship of fatherhood. (father child father) means that father is the biological father of child.

Ontologie

SUMO / OBJECTS

Class(es)

třída

inheritable relation

relace s jedinou hodnotou

father

Superrelation(s)

family relation

parent

father

Související termín(y)

age altitude date depth distance monetary value mother unique identifier valence width

Typy argumentů

father(organismus, organismus)

Related WordNet synsets

father, male parent, begetter: a male parent (also used as a term of address to your father); "his father was born in Atlanta"
fatherhood, paternity: the kinship relation between an offspring and the father

See more related synsets on a separate page.

Axiomy (4)

Jestliže rep je instancí třídy sexuální reprodukce a organism je výsledkem rep, potom neexistují mother,father tak, že mother je a mother of organism a father je a father of organism.

(=>
      (and
            (instance ?REP SexualReproduction)
            (result ?REP ?ORGANISM))
      (not
            (exists
                  (?MOTHER ?FATHER)
                  (and
                        (mother ?ORGANISM ?MOTHER)
                        (father ?ORGANISM ?FATHER)))))

Jestliže parent je a parent of child, potom parent je a mother of child nebo parent je a father of child.

(=>
      (parent ?CHILD ?PARENT)
      (or
            (mother ?CHILD ?PARENT)
            (father ?CHILD ?PARENT)))

Jestliže father je a father of child, potom male je atributem father.

(=>
      (father ?CHILD ?FATHER)
      (attribute ?FATHER Male))

animal1 je a sibling of animal2 tehdy a jen tehdy pokud existují father,mother tak, že father je a father of animal1 a father je a father of animal2 a mother je a mother of animal1 a mother je a mother of animal2.

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