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.

Ontology

SUMO / OBJECTS

Class(es)

class

inheritable relation

binary predicate
is instance of

asymmetric relation
is instance of

inhabits

Coordinate term(s)

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

Type restrictions

inhabits(organism, object)

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 lives in obj, then there exists time so that organism is located at obj during time.

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

If alga is an instance of alga, then there exists water water so that alga lives in water.

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

If fungus is an instance of fungus and fungus lives in obj, then obj is an instance of organism.

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

If bacterium is an instance of bacterium and bacterium lives in obj, then obj is an instance of organism.

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

If virus is an instance of virus and virus lives in obj, then obj is an instance of organism.

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

If fish is an instance of fish, then there exists water water so that fish lives in water.

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

If building is an instance of building, then there exists human human so that

human lives in building
there exists act so that act is an agent of human and act is 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)))))))

If weapon is an instance of weapon, then weapon has purpose "there exist damaging dest,patient so that patient is a patient of dest and

patient is an instance of stationary artifact
patient is an instance of animal
there exists animal animal so that 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))))))))