家族關係 (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)

種類

可繼承關係

二元述詞

等同關係

家族關係

Subrelation(s)

雙親兄弟姊妹

Coordinate term(s)

弧線重量作者先於或同時肇因次類肇因公民封閉於相連的包含訊息共生複製日期降低可能性發展期形式無交集分配文字說明持續時間較早編者元素雇用相等等同關係於訊息等同類訊息等同物利用以...語言表達面對完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於物質測量時段相接情態屬性時段重疊雙親偏序於... 部分位於路徑長擁有先決條件避免特性出版範圍範圍次種類提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

familyRelation(生物體, 生物體)

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)

if group 是親屬∕宗族的實例,
then for all memb1,memb2 holds: if memb1 是 group的成員 and memb2 是 group的成員, then memb1 和 memb2 相關

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

If organism1 和 organism2 相關, then there exists organism3 so that organism3 和 organism1 相關 and organism3 和 organism2 相關.

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