Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Gebäude (Building)

The Class of StationaryArtifacts which are intended to house Humans and their activities.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
Wesen
is subclass of
  körperlicher Gegenstand  
is subclass of
  Gegenstand  
is subclass of
  selbstverbundener Gegenstand  
is subclass of
  korpuskularer Gegenstand  
is subclass of
  Kunstprodukt  
is subclass of
  feststehendes Kunstprodukt  
is subclass of
  Gebäude  

Coordinate term(s)

Zimmer 

Related WordNet synsets

building, edifice
a structure that has a roof and walls and stands more or less permanently in one place; "there was a three-story building on the corner"; "it was an imposing edifice"
building is kind of (all)...   building is kind of...   kinds of building...   kinds of building (all)...   parts of building...  
erection
a structure that has been erected
erection is kind of (all)...   erection is kind of...  
See more related synsets on a separate page.

Axioms (3)

Wenn building ist ein fall von Gebäude , dann es gibt ein Mensch human der 
(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))
Zimmer ist dijunkt von Gebäude . 
(disjoint Room Building)
Wenn room ist ein fall von Zimmer , dann es gibt ein Gebäude build der room ist ein korrektes teil von build . 
(=>
      (instance ?ROOM Room)
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Building)
                  (properPart ?ROOM ?BUILD))))