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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15841-15842
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two_story_single_family_home.jpg") pictureList.kif 1677-1677
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 2126-2126
(subclass Building StationaryArtifact) Merge.kif 15840-15840 Immeuble est une sous-classe de artefact stationnaire

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


(disjoint Room Building) Merge.kif 15857-15857 Pi�ce est disjoint de immeuble
(subclass Auditorium Building) Mid-level-ontology.kif 8507-8507 Auditorium est une sous-classe de immeuble
(subclass Barn Building) Mid-level-ontology.kif 17117-17117 Barn est une sous-classe de immeuble
(subclass BaseballDugout Building) Sports.kif 660-660 BaseballDugout est une sous-classe de immeuble
(subclass CommercialBuilding Building) Mid-level-ontology.kif 8231-8231 CommercialBuilding est une sous-classe de immeuble
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 24039-24039 EntertainmentBuilding est une sous-classe de immeuble
(subclass FarmBuilding Building) Mid-level-ontology.kif 8278-8278 FarmBuilding est une sous-classe de immeuble
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 24051-24051 GovernmentBuilding est une sous-classe de immeuble
(subclass HighRise Building) Mid-level-ontology.kif 28148-28148 HighRise est une sous-classe de immeuble
(subclass HomeGarage Building) Transportation.kif 3765-3765 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 9702-9702 LibraryBuilding est une sous-classe de immeuble
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 8856-8856 MedicalClinicBuilding est une sous-classe de immeuble
(subclass OfficeBuilding Building) Mid-level-ontology.kif 24126-24126 OfficeBuilding est une sous-classe de immeuble
(subclass ParkingGarage Building) Transportation.kif 3766-3766 ParkingGarage est une sous-classe de immeuble
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 24169-24169 PlaceOfWorship est une sous-classe de immeuble
(subclass PoliceFacility Building) Mid-level-ontology.kif 22546-22546 PoliceFacility est une sous-classe de immeuble
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 9093-9093 ReligiousBuilding est une sous-classe de immeuble
(subclass ResidentialBuilding Building) Merge.kif 15904-15904 ResidentialBuilding est une sous-classe de immeuble
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 24205-24205 RestaurantBuilding est une sous-classe de immeuble
(subclass SchoolBuilding Building) Mid-level-ontology.kif 24131-24131 SchoolBuilding est une sous-classe de immeuble
(subclass Store Building) Mid-level-ontology.kif 8266-8266 Store est une sous-classe de immeuble
(subclass TerminalBuilding Building) Transportation.kif 3760-3760 TerminalBuilding est une sous-classe de immeuble
(subclass TollBooth Building) Transportation.kif 3976-3976 TollBooth est une sous-classe de immeuble
(termFormat ChineseLanguage Building "建筑物") chinese_format.kif 1051-1051 TollBooth est une sous-classe de immeuble

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 27804-27816
(=>
    (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 16478-16488
(=>
    (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 16454-16466
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))		 Mid-level-ontology.kif 8108-8114
(=>
    (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 106-125
(=>
    (instance ?BUILDING Building)
    (exists (?HUMAN)
        (and
            (instance ?HUMAN Human)
            (or
                (inhabits ?HUMAN ?BUILDING)
                (exists (?ACT)
                    (and
                        (agent ?ACT ?HUMAN)
                        (located ?ACT ?BUILDING)))))))		 Merge.kif 15844-15854

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 6006-6014
(=>
    (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 7684-7690
(=>
    (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 22807-22816
(=>
    (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 16792-16801
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))		 Mid-level-ontology.kif 22176-22183
(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))		 Mid-level-ontology.kif 22416-22423
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16680-16687
(=>
    (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 16808-16821
(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))		 Mid-level-ontology.kif 16754-16759
(=>
    (instance ?GARAGE Garage)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?GARAGE ?BUILDING))))		 Mid-level-ontology.kif 16867-16872
(=>
    (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 17003-17018
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))		 Mid-level-ontology.kif 10371-10376
(=>
    (instance ?LEVEL BuildingLevel)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?LEVEL ?BUILDING))))		 Mid-level-ontology.kif 16780-16785
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))		 Mid-level-ontology.kif 9725-9732
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))		 Mid-level-ontology.kif 10359-10365
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))		 Mid-level-ontology.kif 17070-17077
(=>
    (instance ?PORCH Porch)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (connected ?PORCH ?BUILDING))))		 Mid-level-ontology.kif 17025-17030
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))		 Mid-level-ontology.kif 16727-16732
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))		 Merge.kif 15863-15868
(=>
    (instance ?STEEPLE Steeple)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?STEEPLE ?BUILDING))))		 Mid-level-ontology.kif 9102-9107
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 16557-16565
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16693-16700
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16671-16678
(=>
    (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 27666-27677

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