居住 (inhabits)

A very basic notion of living within something else. (inhabits organism object) means that object is the residence, nest, home, etc. of organism.

Ontology

SUMO / OBJECTS

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

居住

Coordinate term(s)

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

Type restrictions

inhabits(生物體, 物體)

Related WordNet synsets

residency, residence, abidance: the act of dwelling in a place
inhabitancy, inhabitation, habitation: the act of inhabiting
living: dwelling or inhabiting; often used in combination: "living quarters"; "tree-living animals"

See more related synsets on a separate page.

Axioms (8)

If organism 住s 在 obj, then there exists time so that organism 位於 obj timea(之中) time.

(=>
      (inhabits ?ORGANISM ?OBJ)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (located ?ORGANISM ?OBJ))))

If alga 是藻類的實例, then there exists 水 water so that alga 住s 在 water.

(=>
      (instance ?ALGA Alga)
      (exists
            (?WATER)
            (and
                  (inhabits ?ALGA ?WATER)
                  (instance ?WATER Water))))

If fungus 是真菌的實例 and fungus 住s 在 obj, then obj 是生物體的實例.

(=>
      (and
            (instance ?FUNGUS Fungus)
            (inhabits ?FUNGUS ?OBJ))
      (instance ?OBJ Organism))

If bacterium 是細菌的實例 and bacterium 住s 在 obj, then obj 是生物體的實例.

(=>
      (and
            (instance ?BACTERIUM Bacterium)
            (inhabits ?BACTERIUM ?OBJ))
      (instance ?OBJ Organism))

If virus 是病毒的實例 and virus 住s 在 obj, then obj 是生物體的實例.

(=>
      (and
            (instance ?VIRUS Virus)
            (inhabits ?VIRUS ?OBJ))
      (instance ?OBJ Organism))

If fish 是魚類的實例, then there exists 水 water so that fish 住s 在 water.

(=>
      (instance ?FISH Fish)
      (exists
            (?WATER)
            (and
                  (inhabits ?FISH ?WATER)
                  (instance ?WATER Water))))

If building 是建築物的實例, then there exists 人類 human so that

human 住s 在 building
there exists act so that act 是 human 的施事者 and act 位於 building

(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))

If weapon 是武器的實例, then weapon 有意圖 "there exist 損害 dest,patient so that patient 是 dest 的受事者 and

patient 是固定人造物的實例
patient 是動物的實例
there exists 動物 animal so that animal 住s 在 patient

(=>
      (instance ?WEAPON Weapon)
      (hasPurpose
            ?WEAPON
            (exists
                  (?DEST ?PATIENT)
                  (and
                        (instance ?DEST Damaging)
                        (patient ?DEST ?PATIENT)
                        (or
                              (instance ?PATIENT StationaryArtifact)
                              (instance ?PATIENT Animal)
                              (exists
                                    (?ANIMAL)
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (inhabits ?ANIMAL ?PATIENT))))))))