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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Building
Building

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 14621-14622
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Two-story_single-family_home.jpg") pictureList.kif 1679-1679
(externalImage Building "http://upload.wikimedia.org/wikipedia/commons/d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 2128-2128
(subclass Building StationaryArtifact) Merge.kif 14620-14620

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


(disjoint Room Building) Merge.kif 14637-14637
(subclass Auditorium Building) Mid-level-ontology.kif 6329-6329
(subclass Barn Building) Mid-level-ontology.kif 12442-12442
(subclass BaseballDugout Building) Sports.kif 534-534
(subclass CommercialBuilding Building) Mid-level-ontology.kif 6071-6071
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 18860-18860
(subclass FarmBuilding Building) Mid-level-ontology.kif 6118-6118
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 18872-18872
(subclass HighRise Building) Mid-level-ontology.kif 22712-22712
(subclass HomeGarage Building) Transportation.kif 2941-2941
(subclass HotelVilla Building) Hotel.kif 127-127
(subclass LibraryBuilding Building) Mid-level-ontology.kif 7365-7365
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 6681-6681
(subclass OfficeBuilding Building) Mid-level-ontology.kif 18947-18947
(subclass ParkingGarage Building) Transportation.kif 2942-2942
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 18956-18956
(subclass PoliceFacility Building) Mid-level-ontology.kif 17327-17327
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 6913-6913
(subclass ResidentialBuilding Building) Merge.kif 14684-14684
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 18992-18992
(subclass Store Building) Mid-level-ontology.kif 6106-6106
(subclass TerminalBuilding Building) Transportation.kif 2926-2926
(subclass TollBooth Building) Transportation.kif 3083-3083
(termFormat ChineseLanguage Building "建筑物") chinese_format.kif 1051-1051
(termFormat EnglishLanguage 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
-------------------------


(domain numberOfFloors 1 Building) Hotel.kif 681-681

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 22372-22384
(=>
    (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 11829-11839
(=>
    (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 11805-11817
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))
Mid-level-ontology.kif 5960-5966
(=>
    (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 14624-14634

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 4739-4747
(=>
    (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 8783-8804
(=>
    (equal
        (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?PLACE ?BUILDING))))
Mid-level-ontology.kif 5760-5766
(=>
    (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 17570-17579
(=>
    (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 12143-12152
(=>
    (instance ?C Carpentry)
    (exists (?B)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))
Mid-level-ontology.kif 17197-17204
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12031-12038
(=>
    (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 12159-12172
(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))
Mid-level-ontology.kif 12105-12110
(=>
    (instance ?GARAGE Garage)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?GARAGE ?BUILDING))))
Mid-level-ontology.kif 12218-12223
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))
Mid-level-ontology.kif 7990-7995
(=>
    (instance ?LEVEL BuildingLevel)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?LEVEL ?BUILDING))))
Mid-level-ontology.kif 12131-12136
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))
Mid-level-ontology.kif 7388-7395
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 7978-7984
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))
Mid-level-ontology.kif 12395-12402
(=>
    (instance ?PORCH Porch)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (connected ?PORCH ?BUILDING))))
Mid-level-ontology.kif 12350-12355
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))
Mid-level-ontology.kif 12078-12083
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))
Merge.kif 14643-14648
(=>
    (instance ?STEEPLE Steeple)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?STEEPLE ?BUILDING))))
Mid-level-ontology.kif 6922-6927
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 11908-11916
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12044-12051
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12022-12029
(=>
    (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 22234-22245
(=>
    (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 22833-22842
(=>
    (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 15776-15787

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