Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

父親 (father)

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

Ontology

SUMO / OBJECTS

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  單值關係  
is instance of
  父親  

Superrelation(s)

家族關係
is subrelation of
  雙親  
is subrelation of
  父親  

Coordinate term(s)

年紀  標高  日期  深度  距離  貨幣價值  母親  單一指稱  （結合）價  寬度 

Type restrictions

father(生物體, 生物體)

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"
father is opposite to...   father is kind of (all)...   father is kind of...   kinds of father...   kinds of father (all)...  
fatherhood, paternity
the kinship relation between an offspring and the father
fatherhood is kind of (all)...   fatherhood is kind of...  
See more related synsets on a separate page.

Axioms (4)

If rep 是 有性生殖 的 實例 and organism 是 rep 的 結果, then there don't exist mother,father so that mother 是 organism 的 母親 and father 是 organism 的 父親. 
(=>
      (and
            (instance ?REP SexualReproduction)
            (result ?REP ?ORGANISM))
      (not
            (exists
                  (?MOTHER ?FATHER)
                  (and
                        (mother ?ORGANISM ?MOTHER)
                        (father ?ORGANISM ?FATHER)))))
If parent 是 child 的 雙親, then parent 是 child 的 母親 or parent 是 child 的 父親. 
(=>
      (parent ?CHILD ?PARENT)
      (or
            (mother ?CHILD ?PARENT)
            (father ?CHILD ?PARENT)))
If father 是 child 的 父親, then 雄性 是 father 的 屬性. 
(=>
      (father ?CHILD ?FATHER)
      (attribute ?FATHER Male))
animal1 是 animal2 的 兄弟姊妹 if and only if there exist father,mother so that father 是 animal1 的 父親 and father 是 animal2 的 父親 and mother 是 animal1 的 母親 and mother 是 animal2 的 母親. 
(<=>
      (sibling ?ANIMAL1 ?ANIMAL2)
      (exists
            (?FATHER ?MOTHER)
            (and
                  (father ?ANIMAL1 ?FATHER)
                  (father ?ANIMAL2 ?FATHER)
                  (mother ?ANIMAL1 ?MOTHER)
                  (mother ?ANIMAL2 ?MOTHER))))