Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

建築物 (Building)

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

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  自身連續物體  
is subclass of
  複雜體/非單質體  
is subclass of
  人造物  
is subclass of
  固定人造物  
is subclass of
  建築物  

Coordinate term(s)

房間 

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)

If building 是 建築物 的 實例, then there exists 人類 human so that 
(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))
房間 無交集 於 建築物. 
(disjoint Room Building)
If room 是 房間 的 實例, then there exists 建築物 build so that room 是 build 的 正部分. 
(=>
      (instance ?ROOM Room)
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Building)
                  (properPart ?ROOM ?BUILD))))