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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Building

Sigma KEE - Building
Building(建筑物)
屠宰场, 卫城, 机库, 飞机库, 飞机棚, 城堡, 宫殿, 摩尔人的王宫, 要塞, 酒店, 酒馆, 麦芽酒店, 爱尔汗布拉宫, 爱尔罕布拉宫, 阿尔汉布拉宫殿, 养蜂场, 蜂房, 大型鸟舍, 大鸟笼, 鸟舍, 银行大厦, 军营, 城堡, 堡垒, 要塞, 浴场, 澡堂, 更衣室, 海滨别墅, 钟架, 望景楼, 眺远亭, 瞭望台, 观景房, 观景楼, 兵舍, 军队的宿舍, 南非的电影院, 碉堡, 供膳食的寄宿处, 寄宿公寓, 寄宿处, 寄宿舍, 招待所, 停船棚屋, 褐砂石房屋, 大厦, 大建筑物, 建筑, 建筑物, 房屋, 更常指大而气派的建筑, 综合大楼, 斗牛场, 简易浴室, 无墙车库, 车棚, 兵营, 城堡, 大法官官署, 大臣官署, 大臣官邸, 总理公署, 大法官法庭, 联谊会会堂, 牧师会教堂, 一养老院名, 查特豪斯公学, 大会堂, 市政厅, 悬崖住所, 会所, 俱乐部会所, 车房, 煤库, 音乐会堂, , , , , 乡舍, 乡间别墅, 郊区住宅, 法庭, 法院, 法院大楼, 县政府大楼, 俄国的乡间邸宅, 达恰...

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


(documentation Building ChineseLanguage "这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。") Merge.kif 15818-15819
(documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.") Merge.kif 15816-15817
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg") pictureList.kif 1679-1679 externalImage 建筑物 and "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Two-story_single-family_home.jpg"
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 2128-2128 externalImage 建筑物 and "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Manhattan_at_Dusk_by_slonecker.jpg"
(subclass Building StationaryArtifact) Merge.kif 15815-15815 建筑物固定人工制品subclass

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


(disjoint Room Building) Merge.kif 15834-15834 房间 和 % 2 是 disjoint
(subclass Auditorium Building) Mid-level-ontology.kif 6986-6986 Auditorium建筑物subclass
(subclass Barn Building) Mid-level-ontology.kif 13387-13387 Barn建筑物subclass
(subclass BaseballDugout Building) Sports.kif 534-534 BaseballDugout建筑物subclass
(subclass BeerBrewery Building) Society.kif 1181-1181 BeerBrewery建筑物subclass
(subclass CommercialBuilding Building) Mid-level-ontology.kif 6702-6702 CommercialBuilding建筑物subclass
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 20200-20200 EntertainmentBuilding建筑物subclass
(subclass FactoryBuilding Building) Society.kif 1111-1111 FactoryBuilding建筑物subclass
(subclass FarmBuilding Building) Mid-level-ontology.kif 6760-6760 FarmBuilding建筑物subclass
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 20212-20212 GovernmentBuilding建筑物subclass
(subclass HighRise Building) Mid-level-ontology.kif 24529-24529 HighRise建筑物subclass
(subclass HomeGarage Building) Transportation.kif 2851-2851 HomeGarage建筑物subclass
(subclass HotelVilla Building) Hotel.kif 127-127 HotelVilla建筑物subclass
(subclass IndoorPlayground Building) Offers.kif 310-310 IndoorPlayground建筑物subclass
(subclass LibraryBuilding Building) Mid-level-ontology.kif 8198-8198 LibraryBuilding建筑物subclass
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 7360-7360 MedicalClinicBuilding建筑物subclass
(subclass OfficeBuilding Building) Mid-level-ontology.kif 20314-20314 OfficeBuilding建筑物subclass
(subclass ParkingGarage Building) Transportation.kif 2852-2852 ParkingGarage建筑物subclass
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 20323-20323 PlaceOfWorship建筑物subclass
(subclass PoliceFacility Building) Mid-level-ontology.kif 18533-18533 PoliceFacility建筑物subclass
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 7604-7604 ReligiousBuilding建筑物subclass
(subclass ResidentialBuilding Building) Merge.kif 15898-15898 ResidentialBuilding建筑物subclass
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 20366-20366 RestaurantBuilding建筑物subclass
(subclass Store Building) Mid-level-ontology.kif 6737-6737 Store建筑物subclass
(subclass TerminalBuilding Building) Transportation.kif 2836-2836 TerminalBuilding建筑物subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain numberOfFloors 1 Building) Hotel.kif 671-671 numberOfFloors 的 1 数量 是 建筑物instance

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


(=>
    (and
        (attribute ?X WheelchairAccessible)
        (or
            (instance ?X Building)
            (instance ?X Room)))
    (modalAttribute
        (exists (?MOTION ?WHEELCHAIR)
            (and
                (instance ?MOTION Motion)
                (instrument ?MOTION ?WHEELCHAIR)
                (instance ?WHEELCHAIR Wheelchair)
                (eventLocated ?MOTION ?X))) Possibility))
Mid-level-ontology.kif 24067-24079
(=>
    (and
        (instance ?LEVEL1 BuildingLevel)
        (instance ?LEVEL2 BuildingLevel)
        (instance ?BUILDING Building)
        (part ?LEVEL1 ?BUILDING)
        (part ?LEVEL2 ?BUILDING))
    (exists (?STEPS)
        (and
            (instance ?STEPS Steps)
            (connects ?STEPS ?LEVEL1 ?LEVEL2))))
Mid-level-ontology.kif 12789-12799
(=>
    (and
        (instance ?S Stairway)
        (part ?S ?B)
        (instance ?B Building))
    (hasPurpose ?S
        (exists (?L1 ?L2)
            (and
                (instance ?L1 BuildingLevel)
                (instance ?L2 BuildingLevel)
                (part ?L1 ?B)
                (part ?L2 ?B)
                (connects ?S ?L1 ?L2)))))
Mid-level-ontology.kif 12765-12777
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 6593-6599
(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring
        (located ?CUST ?BLDG)
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-119
(=>
    (instance ?BUILDING Building)
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (or
                (inhabits ?HUMAN ?BUILDING)
                (exists (?ACT)
                    (and
                        (agent ?ACT ?HUMAN)
                        (located ?ACT ?BUILDING)))))))
Merge.kif 15821-15831

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


(=>
    (and
        (instance ?CLOTHING OutdoorClothing)
        (holdsDuring ?TIME
            (wears ?PERSON ?CLOTHING)))
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (holdsDuring ?TIME
                    (located ?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5344-5351
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WarehousingAndStorage))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?B ?T)
                            (and
                                (instance ?T TimeInterval)
                                (instance ?B Building)
                                (possesses ?P ?OBJ)
                                (holdsDuring ?T
                                    (located ?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8701-8722
(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?PLACE ?BUILDING))))
Mid-level-ontology.kif 6381-6386
(=>
    (hasExpertise ?H Architecture)
    (exists (?D ?P ?B)
        (and
            (instance ?D ContentDevelopment)
            (agent ?D ?H)
            (result ?D ?P)
            (instance ?P Blueprint)
            (represents ?P ?B)
            (instance ?B Building))))
Mid-level-ontology.kif 18814-18823
(=>
    (instance ?BASEMENT Basement)
    (not
        (exists (?LEVEL ?BUILDING)
            (and
                (instance ?LEVEL BuildingLevel)
                (instance ?BUILDING Building)
                (part ?LEVEL ?BUILDING)
                (part ?BASEMENT ?BUILDING)
                (not
                    (equal ?LEVEL ?BASEMENT))
                (orientation ?LEVEL ?BASEMENT Below)))))
Mid-level-ontology.kif 13096-13105
(=>
    (instance ?C Carpentry)
    (exists (?B)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))
Mid-level-ontology.kif 18387-18394
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12986-12993
(=>
    (instance ?E Elevator)
    (hasPurpose ?E
        (exists (?T ?L1 ?L2 ?B)
            (and
                (instance ?T Transportation)
                (origin ?T ?L1)
                (instance ?L1 BuildingLevel)
                (destination ?T ?L2)
                (instance ?L2 BuildingLevel)
                (not
                    (equal ?L1 ?L2))
                (part ?L1 ?B)
                (part ?L2 ?B)
                (instance ?B Building)))))
Mid-level-ontology.kif 13111-13124
(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))
Mid-level-ontology.kif 13058-13063
(=>
    (instance ?GARAGE Garage)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?GARAGE ?BUILDING))))
Mid-level-ontology.kif 13170-13175
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))
Mid-level-ontology.kif 8870-8875
(=>
    (instance ?LEVEL BuildingLevel)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?LEVEL ?BUILDING))))
Mid-level-ontology.kif 13084-13089
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 8222-8229
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 8858-8864
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))
Mid-level-ontology.kif 13341-13348
(=>
    (instance ?PORCH Porch)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (connected ?PORCH ?BUILDING))))
Mid-level-ontology.kif 13298-13303
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))
Mid-level-ontology.kif 13032-13037
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))
Merge.kif 15843-15848
(=>
    (instance ?STEEPLE Steeple)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?STEEPLE ?BUILDING))))
Mid-level-ontology.kif 7622-7627
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 12865-12873
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12999-13006
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12977-12984
(=>
    (instance ?X Courtyard)
    (and
        (not
            (exists (?ROOF)
                (and
                    (instance ?ROOF Roof)
                    (top ?ROOF ?X))))
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Surrounded)))))
Mid-level-ontology.kif 23927-23938
(=>
    (instance ?X Patio)
    (and
        (modalAttribute
            (attribute ?X Paved) Likely)
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Adjacent)
                (located ?X Outdoors)))))
Mid-level-ontology.kif 24650-24659
(=>
    (orientation ?OBJ1 ?OBJ2 Downstairs)
    (exists (?LEVEL1 ?LEVEL2 ?BUILDING)
        (and
            (instance ?LEVEL1 BuildingLevel)
            (instance ?LEVEL2 BuildingLevel)
            (instance ?BUILDING Building)
            (part ?LEVEL1 ?BUILDING)
            (part ?LEVEL2 ?BUILDING)
            (located ?OBJ1 ?LEVEL1)
            (located ?OBJ2 ?LEVEL2)
            (orientation ?LEVEL1 ?LEVEL2 Below))))
Mid-level-ontology.kif 16989-17000

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners