inhabits (inhabits)

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

Ontologie

SUMO / OBJECTS

Class(es)

třída

inheritable relation

binární predikát
is instance of

nesymetrická relace
is instance of

inhabits

Související termín(y)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material measure meets temporally member modal attribute overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization 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 surface temporal part time total ordering on trichotomizing on uses valence version

Typy argumentů

inhabits(organismus, objekt)

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.

Axiomy (8)

Jestliže organism lives in obj, potom existuje time tak, že organism je located at obj během time.

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

Jestliže alga je instancí třídy řasa, potom existuje voda water tak, že alga lives in water.

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

Jestliže fungus je instancí třídy houba a fungus lives in obj, potom obj je instancí třídy organismus.

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

Jestliže bacterium je instancí třídy bakterie a bacterium lives in obj, potom obj je instancí třídy organismus.

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

Jestliže virus je instancí třídy virus a virus lives in obj, potom obj je instancí třídy organismus.

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

Jestliže fish je instancí třídy ryba, potom existuje voda water tak, že fish lives in water.

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

Jestliže building je instancí třídy budova, potom existuje člověk human tak, že

human lives in building
existuje act tak, že human je původcem act a act je located at building

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

Jestliže weapon je instancí třídy zbraň, potom weapon has purpose "existují poškození dest,patient tak, že patient je účastníkem dest a

patient je instancí třídy nemovitost
patient je instancí třídy zvíře
existuje zvíře animal tak, že animal lives in 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))))))))