Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Building
Building(building)
Alhambra, Balmoral_Castle, CN_Tower, Caaba, Eiffel_Tower, Empire_State_Building, Hagia_Sofia, Hagia_Sophia, Hall_of_Fame, Houses_of_Parliament, Independence_Hall, Ionic, Kaaba, Kremlin, Lateran_Palace, National_Baseball_Hall_of_Fame, Newgate, Opera, Parthenon, Pentagon, Petronas_Towers, Roman_basilica, Roman_building, Santa_Sofia, Santa_Sophia, Sears_Tower, Space_Needle, Statehouse, Tudor, WTC, Westminster_Abbey, White_House, World_Trade_Center, abattoir, acropolis, adobe_house, airdock, alcazar, alehouse, amphiprostylar, amphiprostyle, amphistylar, amphitheatric, amphitheatrical, apiary, apteral, astylar, attached, aviary, awninged...

appearance as argument number 1
-------------------------


s__documentation(s__Building,s__ChineseLanguage,'"这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。"')

chinese_format.kif 3586-3587
s__documentation(s__Building,s__EnglishLanguage,'"The Class of StationaryArtifacts which are intended to house Humans and their activities."')

Merge.kif 14969-14970
s__externalImage(s__Building,'"http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg"')

pictureList.kif 1679-1679
s__externalImage(s__Building,'"http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg"')

pictureList.kif 2128-2128
s__instance(s__StationaryArtifact,s__SetOrClass)

s__instance(s__Building,s__SetOrClass)

s__subclass(s__Building,s__StationaryArtifact)

Merge.kif 14968-14968 Building is a subclass of stationary artifact

appearance as argument number 2
-------------------------


s__disjoint(s__Room,s__Building)

Merge.kif 14985-14985 Room is disjoint from building
s__instance(s__Building,s__SetOrClass)

s__instance(s__Auditorium,s__SetOrClass)

s__subclass(s__Auditorium,s__Building)

Mid-level-ontology.kif 6868-6868 Auditorium is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__Barn,s__Building)

s__instance(s__Barn,s__SetOrClass)

Mid-level-ontology.kif 14533-14533 Barn is a subclass of building
s__instance(s__BaseballDugout,s__SetOrClass)

s__instance(s__Building,s__SetOrClass)

s__subclass(s__BaseballDugout,s__Building)

Sports.kif 579-579 Baseball dugout is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__CommercialBuilding,s__Building)

s__instance(s__CommercialBuilding,s__SetOrClass)

Mid-level-ontology.kif 6610-6610 Commercial building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__EntertainmentBuilding,s__Building)

s__instance(s__EntertainmentBuilding,s__SetOrClass)

Mid-level-ontology.kif 21164-21164 Entertainment building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__FarmBuilding,s__Building)

s__instance(s__FarmBuilding,s__SetOrClass)

Mid-level-ontology.kif 6657-6657 Farm building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__instance(s__GovernmentBuilding,s__SetOrClass)

s__subclass(s__GovernmentBuilding,s__Building)

Mid-level-ontology.kif 21176-21176 Government building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__HighRise,s__Building)

s__instance(s__HighRise,s__SetOrClass)

Mid-level-ontology.kif 25187-25187 High rise is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__HomeGarage,s__Building)

s__instance(s__HomeGarage,s__SetOrClass)

Transportation.kif 2941-2941 Home garage is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__HotelVilla,s__Building)

s__instance(s__HotelVilla,s__SetOrClass)

Hotel.kif 127-127 Hotel villa is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__LibraryBuilding,s__Building)

s__instance(s__LibraryBuilding,s__SetOrClass)

Mid-level-ontology.kif 7967-7967 LibraryBuilding is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__MedicalClinicBuilding,s__Building)

s__instance(s__MedicalClinicBuilding,s__SetOrClass)

Mid-level-ontology.kif 7229-7229 Medical clinic building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__OfficeBuilding,s__Building)

s__instance(s__OfficeBuilding,s__SetOrClass)

Mid-level-ontology.kif 21251-21251 Office building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__instance(s__ParkingGarage,s__SetOrClass)

s__subclass(s__ParkingGarage,s__Building)

Transportation.kif 2942-2942 Parking garage is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__instance(s__PlaceOfWorship,s__SetOrClass)

s__subclass(s__PlaceOfWorship,s__Building)

Mid-level-ontology.kif 21260-21260 Place of worship is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__instance(s__PoliceFacility,s__SetOrClass)

s__subclass(s__PoliceFacility,s__Building)

Mid-level-ontology.kif 19571-19571 Police facility is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__ReligiousBuilding,s__Building)

s__instance(s__ReligiousBuilding,s__SetOrClass)

Mid-level-ontology.kif 7461-7461 Religious building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__ResidentialBuilding,s__Building)

s__instance(s__ResidentialBuilding,s__SetOrClass)

Merge.kif 15032-15032 Residential building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__subclass(s__RestaurantBuilding,s__Building)

s__instance(s__RestaurantBuilding,s__SetOrClass)

Mid-level-ontology.kif 21296-21296 Restaurant building is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__instance(s__Store,s__SetOrClass)

s__subclass(s__Store,s__Building)

Mid-level-ontology.kif 6645-6645 Store is a subclass of building
s__instance(s__Building,s__SetOrClass)

s__instance(s__TerminalBuilding,s__SetOrClass)

s__subclass(s__TerminalBuilding,s__Building)

Transportation.kif 2926-2926 Terminal building is a subclass of building
s__subclass(s__TollBooth,s__Building)

s__instance(s__Building,s__SetOrClass)

s__instance(s__TollBooth,s__SetOrClass)

Transportation.kif 3083-3083 Toll booth is a subclass of building
s__termFormat(s__ChineseLanguage,s__Building,'"建筑物"')

chinese_format.kif 1051-1051
s__termFormat(s__EnglishLanguage,s__Building,'"building"')

english_format.kif 1318-1318

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__numberOfFloors__m,n__1,s__Building)

Hotel.kif 681-681 The number 1 argument of number of floors is an instance of building

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24859
( ! [V__LEVEL2,V__LEVEL1,V__BUILDING] :
   (((s__instance(V__LEVEL1,s__BuildingLevel) &
         s__instance(V__LEVEL2,s__BuildingLevel) &
         s__instance(V__BUILDING,s__Building) &
         s__part(V__LEVEL1,V__BUILDING)
       &
       s__part(V__LEVEL2,V__BUILDING))
   =>
   (( ? [V__STEPS] :
       ((s__instance(V__STEPS,s__Steps) &
           s__connects(V__STEPS,V__LEVEL1,V__LEVEL2))))))
)
)

Mid-level-ontology.kif 13913-13923
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13889-13901
( ! [V__PERSON,V__UNIT] :
   ((s__instance(V__PERSON,s__Human) =>
       (((s__instance(V__UNIT,s__SingleFamilyResidence) &
             s__home(V__PERSON,V__UNIT)
           &
           s__possesses(V__PERSON,V__UNIT)
         &
         ~(s__instance(V__UNIT,s__Building)))
       =>
       (s__instance(V__UNIT,s__CondominiumUnit)))))
)
)

Mid-level-ontology.kif 6487-6493
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121
( ! [V__BUILDING] :
   ((s__instance(V__BUILDING,s__Building) =>
       (( ? [V__HUMAN] :
           ((s__instance(V__HUMAN,s__Human) &
               (s__inhabits(V__HUMAN,V__BUILDING)
               |
               ( ? [V__ACT] :
                 ((s__instance(V__ACT,s__Process) &
                     (s__agent(V__ACT,V__HUMAN)
                     &
                     s__located(V__ACT,V__BUILDING)))))))))))
)
)

Merge.kif 14972-14982

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4740-4748
No TPTP formula. May not be expressible in strict first order. naics.kif 8783-8804
( ! [V__AGENT,V__ROAD,V__PLACE,V__COUNTRY,V__CITY] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ROAD,s__Roadway) &
         s__instance(V__PLACE,s__StationaryArtifact) &
         s__instance(V__COUNTRY,s__Nation) &
         s__instance(V__CITY,s__City))
       =>
       (((s__StreetAddressFn(V__PLACE,V__ROAD,V__CITY,V__COUNTRY)
           = V__AGENT)
         =>
         (( ? [V__BUILDING] :
             ((s__instance(V__BUILDING,s__Building) &
                 s__part(V__PLACE,V__BUILDING))))))))
)
)

Mid-level-ontology.kif 6287-6293
( ! [V__H] :
   ((s__instance(V__H,s__Human) =>
       ((s__hasExpertise(V__H,s__Architecture) =>
           (( ? [V__D, V__P, V__B] :
               ((s__instance(V__D,s__ContentDevelopment) &
                   s__agent(V__D,V__H)
                 &
                 s__result(V__D,V__P)
               &
               s__instance(V__P,s__Blueprint) &
               s__represents(V__P,V__B)
             &
             s__instance(V__B,s__Building))))))))
)
)

Mid-level-ontology.kif 19814-19823
( ! [V__BASEMENT] :
   ((s__instance(V__BASEMENT,s__Basement) =>
       (~(( ? [V__LEVEL, V__BUILDING] :
             ((s__instance(V__LEVEL,s__BuildingLevel) &
                 s__instance(V__BUILDING,s__Building) &
                 s__part(V__LEVEL,V__BUILDING)
               &
               s__part(V__BASEMENT,V__BUILDING)
             &
             ~((V__LEVEL = V__BASEMENT))
             &
             s__orientation(V__LEVEL,V__BASEMENT,s__Below)))))))
)
)

Mid-level-ontology.kif 14227-14236
( ! [V__BU] :
   ((s__instance(V__BU,s__BuildingUnit) =>
       (( ? [V__O, V__B] :
           ((s__instance(V__B,s__Building) &
               s__instance(V__O,s__Organization) &
               s__part(V__BU,V__B)
             &
             s__workLocation(V__O,V__BU))))))
)
)

Mid-level-ontology.kif 19202-19209
( ! [V__C,V__W] :
   ((s__instance(V__W,s__Object) =>
       ((s__instance(V__C,s__Carpentry) =>
           (( ? [V__B] :
               ((s__instance(V__B,s__Building) &
                   s__instance(V__W,s__Wood) &
                   s__part(V__W,V__B)
                 &
                 s__result(V__C,V__B))))))))
)
)

Mid-level-ontology.kif 19441-19448
( ! [V__DOOR] :
   ((s__instance(V__DOOR,s__Door) =>
       (( ? [V__ARTIFACT] :
           ((s__part(V__DOOR,V__ARTIFACT)
             &
             (s__instance(V__ARTIFACT,s__Building) |
               s__instance(V__ARTIFACT,s__Room)))))))
   )
)

Mid-level-ontology.kif 14115-14122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14243-14256
( ! [V__F] :
   ((s__instance(V__F,s__Fireplace) =>
       (( ? [V__B] :
           ((s__instance(V__B,s__Building) &
               s__part(V__F,V__B))))))
   )
)

Mid-level-ontology.kif 14189-14194
( ! [V__GARAGE] :
   ((s__instance(V__GARAGE,s__Garage) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__part(V__GARAGE,V__BUILDING))))))
   )
)

Mid-level-ontology.kif 14302-14307
( ! [V__INDOORS] :
   ((s__instance(V__INDOORS,s__Indoors) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__orientation(V__INDOORS,V__BUILDING,s__Inside))))))
     )
   )

Mid-level-ontology.kif 8636-8641
( ! [V__LEVEL] :
   ((s__instance(V__LEVEL,s__BuildingLevel) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__part(V__LEVEL,V__BUILDING))))))
   )
)

Mid-level-ontology.kif 14215-14220
( ! [V__M] :
   ((s__instance(V__M,s__ArtMuseum) =>
       (( ? [V__B, V__A] :
           ((s__possesses(V__M,V__B)
             &
             s__instance(V__B,s__Building) &
             s__instance(V__A,s__ArtWork) &
             s__located(V__A,V__B))))))
)
)

Mid-level-ontology.kif 7990-7997
( ! [V__OUTDOORS] :
   ((s__instance(V__OUTDOORS,s__Outdoors) =>
       (~(( ? [V__BUILDING] :
             ((s__instance(V__BUILDING,s__Building) &
                 s__orientation(V__OUTDOORS,V__BUILDING,s__Inside)))))))
     )
   )

Mid-level-ontology.kif 8624-8630
( ! [V__PLANT] :
   ((s__instance(V__PLANT,s__IndustrialPlant) =>
       ((s__instance(V__PLANT,s__Building) |
           ( ? [V__BUILDING] :
             ((s__instance(V__BUILDING,s__Building) &
                 s__located(V__BUILDING,V__PLANT)))))))
   )
)

Mid-level-ontology.kif 14486-14493
( ! [V__PORCH] :
   ((s__instance(V__PORCH,s__Porch) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__connected(V__PORCH,V__BUILDING))))))
   )
)

Mid-level-ontology.kif 14441-14446
( ! [V__ROOF] :
   ((s__instance(V__ROOF,s__Roof) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__top(V__ROOF,V__BUILDING))))))
   )
)

Mid-level-ontology.kif 14162-14167
( ! [V__ROOM] :
   ((s__instance(V__ROOM,s__Room) =>
       (( ? [V__BUILD] :
           ((s__instance(V__BUILD,s__Building) &
               s__properPart(V__ROOM,V__BUILD))))))
   )
)

Merge.kif 14991-14996
( ! [V__STEEPLE] :
   ((s__instance(V__STEEPLE,s__Steeple) =>
       (( ? [V__BUILDING] :
           ((s__instance(V__BUILDING,s__Building) &
               s__part(V__STEEPLE,V__BUILDING))))))
   )
)

Mid-level-ontology.kif 7470-7475
( ! [V__W] :
   ((s__instance(V__W,s__Window) =>
       (( ? [V__A] :
           ((s__part(V__W,V__A)
             &
             (s__instance(V__A,s__Building) |
               s__instance(V__A,s__Room) |
               s__instance(V__A,s__Vehicle)))))))
   )
)

Mid-level-ontology.kif 13992-14000
( ! [V__WALL] :
   ((s__instance(V__WALL,s__Wall) =>
       (( ? [V__ARTIFACT] :
           ((s__part(V__WALL,V__ARTIFACT)
             &
             (s__instance(V__ARTIFACT,s__Building) |
               s__instance(V__ARTIFACT,s__Room)))))))
   )
)

Mid-level-ontology.kif 14128-14135
( ! [V__WAY] :
   ((s__instance(V__WAY,s__Doorway) =>
       (( ? [V__ARTIFACT] :
           ((s__part(V__WAY,V__ARTIFACT)
             &
             (s__instance(V__ARTIFACT,s__Building) |
               s__instance(V__ARTIFACT,s__Room)))))))
   )
)

Mid-level-ontology.kif 14106-14113
( ! [V__X] :
   ((s__instance(V__X,s__Courtyard) =>
       ((~(( ? [V__ROOF] :
               ((s__instance(V__ROOF,s__Roof) &
                   s__top(V__ROOF,V__X)))))
         &
         ( ? [V__BLDG] :
           ((s__instance(V__BLDG,s__Building) &
               s__orientation(V__X,V__BLDG,s__Surrounded)))))))
   )
)

Mid-level-ontology.kif 24709-24720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25308-25317

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners