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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Building

 Sigma KEE - Building
Building(immeuble)

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


(documentation Building ChineseLanguage "这是为了容纳 Human 和他们的活动 StationaryArtifact 的类别。") chinese_format.kif 3586-3587
(documentation Building EnglishLanguage "The Class of StationaryArtifacts which are intended to house Humans and their activities.") Merge.kif 15710-15711
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg") pictureList.kif 1678-1678
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 2127-2127
(subclass Building StationaryArtifact) Merge.kif 15709-15709 Immeuble est une sous-classe de artefact stationnaire

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


(disjoint Room Building) Merge.kif 15726-15726 Pi�ce est disjoint de immeuble
(subclass Auditorium Building) Mid-level-ontology.kif 7292-7292 Auditorium est une sous-classe de immeuble
(subclass Barn Building) Mid-level-ontology.kif 15708-15708 Barn est une sous-classe de immeuble
(subclass BaseballDugout Building) Sports.kif 648-648 BaseballDugout est une sous-classe de immeuble
(subclass CommercialBuilding Building) Mid-level-ontology.kif 7016-7016 CommercialBuilding est une sous-classe de immeuble
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 22339-22339 EntertainmentBuilding est une sous-classe de immeuble
(subclass FarmBuilding Building) Mid-level-ontology.kif 7063-7063 FarmBuilding est une sous-classe de immeuble
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 22351-22351 GovernmentBuilding est une sous-classe de immeuble
(subclass HighRise Building) Mid-level-ontology.kif 26435-26435 HighRise est une sous-classe de immeuble
(subclass HomeGarage Building) Transportation.kif 2934-2934 HomeGarage est une sous-classe de immeuble
(subclass HotelVilla Building) Hotel.kif 132-132 HotelVilla est une sous-classe de immeuble
(subclass LibraryBuilding Building) Mid-level-ontology.kif 8448-8448 LibraryBuilding est une sous-classe de immeuble
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 7639-7639 MedicalClinicBuilding est une sous-classe de immeuble
(subclass OfficeBuilding Building) Mid-level-ontology.kif 22426-22426 OfficeBuilding est une sous-classe de immeuble
(subclass ParkingGarage Building) Transportation.kif 2935-2935 ParkingGarage est une sous-classe de immeuble
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 22469-22469 PlaceOfWorship est une sous-classe de immeuble
(subclass PoliceFacility Building) Mid-level-ontology.kif 20871-20871 PoliceFacility est une sous-classe de immeuble
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 7876-7876 ReligiousBuilding est une sous-classe de immeuble
(subclass ResidentialBuilding Building) Merge.kif 15773-15773 ResidentialBuilding est une sous-classe de immeuble
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 22505-22505 RestaurantBuilding est une sous-classe de immeuble
(subclass SchoolBuilding Building) Mid-level-ontology.kif 22431-22431 SchoolBuilding est une sous-classe de immeuble
(subclass Store Building) Mid-level-ontology.kif 7051-7051 Store est une sous-classe de immeuble
(subclass TerminalBuilding Building) Transportation.kif 2919-2919 TerminalBuilding est une sous-classe de immeuble
(subclass TollBooth Building) Transportation.kif 3076-3076 TollBooth est une sous-classe de immeuble
(termFormat ChineseLanguage Building "建筑物") chinese_format.kif 1051-1051

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 702-702 Le nombre 1 argument de numberOfFloors est une instance de immeuble

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 26091-26103
(=>
    (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 15069-15079
(=>
    (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 15045-15057
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))		 Mid-level-ontology.kif 6893-6899
(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (holdsDuring ?T
            (located ?CUST ?BLDG))
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring ?T
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))		 TransportDetail.kif 102-121
(=>
    (instance ?BUILDING Building)
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (or
                (inhabits ?HUMAN ?BUILDING)
                (exists (?ACT)
                    (and
                        (agent ?ACT ?HUMAN)
                        (located ?ACT ?BUILDING)))))))		 Merge.kif 15713-15723

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 5015-5023
(=>
    (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 8776-8797
(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?PLACE ?BUILDING))))		 Mid-level-ontology.kif 6693-6699
(=>
    (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 21132-21141
(=>
    (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 15383-15392
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))		 Mid-level-ontology.kif 20501-20508
(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))		 Mid-level-ontology.kif 20741-20748
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15271-15278
(=>
    (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 15399-15412
(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))		 Mid-level-ontology.kif 15345-15350
(=>
    (instance ?GARAGE Garage)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?GARAGE ?BUILDING))))		 Mid-level-ontology.kif 15458-15463
(=>
    (instance ?HALL Hallway)
    (hasPurpose ?HALL
        (exists (?TRAN ?BUILD ?R1 ?R2)
            (and
                (instance ?TRAN Translocation)
                (path ?TRAN ?HALL)
                (located ?HALL ?BUILD)
                (instance ?BUILD Building)
                (between ?R1 ?HALL ?R2)
                (instance ?R1 Room)
                (instance ?R2 Room)
                (located ?R1 ?BUILD)
                (located ?R2 ?BUILD)
                (not
                    (equal ?R1 ?R2))))))		 Mid-level-ontology.kif 15594-15609
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))		 Mid-level-ontology.kif 9117-9122
(=>
    (instance ?LEVEL BuildingLevel)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?LEVEL ?BUILDING))))		 Mid-level-ontology.kif 15371-15376
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))		 Mid-level-ontology.kif 8471-8478
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))		 Mid-level-ontology.kif 9105-9111
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))		 Mid-level-ontology.kif 15661-15668
(=>
    (instance ?PORCH Porch)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (connected ?PORCH ?BUILDING))))		 Mid-level-ontology.kif 15616-15621
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))		 Mid-level-ontology.kif 15318-15323
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))		 Merge.kif 15732-15737
(=>
    (instance ?STEEPLE Steeple)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?STEEPLE ?BUILDING))))		 Mid-level-ontology.kif 7885-7890
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 15148-15156
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15284-15291
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15262-15269
(=>
    (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 25953-25964

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 3.0 is open source software produced by Articulate Software and its partners