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
-------------------------


(documentation Building ChineseLanguage "这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。") Merge.kif 15876-15877
(documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.") Merge.kif 15874-15875
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg") pictureList.kif 1679-1679 "http://upload.wikimedia.org/wikipedia/commons/a/a1/ Two-story_single-family_home.jpg" is a URL depicting building
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 2128-2128 "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Manhattan_at_Dusk_by_slonecker.jpg" is a URL depicting building
(subclass Building StationaryArtifact) Merge.kif 15873-15873 Building is a subclass of stationary artifact

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


(disjoint Room Building) Merge.kif 15892-15892 Room is disjoint from building
(subclass Auditorium Building) Mid-level-ontology.kif 6986-6986 Auditorium is a subclass of building
(subclass Barn Building) Mid-level-ontology.kif 13387-13387 Barn is a subclass of building
(subclass BaseballDugout Building) Sports.kif 534-534 Baseball dugout is a subclass of building
(subclass CommercialBuilding Building) Mid-level-ontology.kif 6702-6702 Commercial building is a subclass of building
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 20258-20258 Entertainment building is a subclass of building
(subclass FarmBuilding Building) Mid-level-ontology.kif 6760-6760 Farm building is a subclass of building
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 20270-20270 Government building is a subclass of building
(subclass HighRise Building) Mid-level-ontology.kif 24609-24609 High rise is a subclass of building
(subclass HomeGarage Building) Transportation.kif 2878-2878 Home garage is a subclass of building
(subclass HotelVilla Building) Hotel.kif 127-127 Hotel villa is a subclass of building
(subclass LibraryBuilding Building) Mid-level-ontology.kif 8198-8198 LibraryBuilding is a subclass of building
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 7360-7360 Medical clinic building is a subclass of building
(subclass OfficeBuilding Building) Mid-level-ontology.kif 20372-20372 Office building is a subclass of building
(subclass ParkingGarage Building) Transportation.kif 2879-2879 Parking garage is a subclass of building
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 20381-20381 Place of worship is a subclass of building
(subclass PoliceFacility Building) Mid-level-ontology.kif 18591-18591 Police facility is a subclass of building
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 7604-7604 Religious building is a subclass of building
(subclass ResidentialBuilding Building) Merge.kif 15950-15950 Residential building is a subclass of building
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 20424-20424 Restaurant building is a subclass of building
(subclass Store Building) Mid-level-ontology.kif 6737-6737 Store is a subclass of building
(subclass TerminalBuilding Building) Transportation.kif 2863-2863 Terminal building is a subclass of building
(subclass TollBooth Building) Transportation.kif 3020-3020 Toll booth is a subclass of building
(termFormat ChineseLanguage Building "建筑物") chinese_format.kif 1051-1051 "建筑物" is the printable form of building in ChineseLanguage
(termFormat EnglishLanguage Building "building") english_format.kif 1224-1224 "building" is the printable form of building in english language

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 The number 1 argument of number of floors is an instance of building

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 24147-24159
(=>
    (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 15879-15889

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 18872-18881
(=>
    (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 18445-18452
(=>
    (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 15901-15906
(=>
    (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 24007-24018
(=>
    (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 24730-24739
(=>
    (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 17019-17030

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners