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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Compressing

 Sigma KEE - Building
Building(Costruzione)

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 15740-15741
(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 15739-15739 Costruzione è una sottoclasse di ManufattoStatico

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


(disjoint Room Building) Merge.kif 15756-15756 Stanza è disgiunto da Costruzione
(subclass Auditorium Building) Mid-level-ontology.kif 7320-7320 Auditorium è una sottoclasse di Costruzione
(subclass Barn Building) Mid-level-ontology.kif 15736-15736 Barn è una sottoclasse di Costruzione
(subclass BaseballDugout Building) Sports.kif 648-648 BaseballDugout è una sottoclasse di Costruzione
(subclass CommercialBuilding Building) Mid-level-ontology.kif 7044-7044 CommercialBuilding è una sottoclasse di Costruzione
(subclass EntertainmentBuilding Building) Mid-level-ontology.kif 22390-22390 EntertainmentBuilding è una sottoclasse di Costruzione
(subclass FarmBuilding Building) Mid-level-ontology.kif 7091-7091 FarmBuilding è una sottoclasse di Costruzione
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 22402-22402 GovernmentBuilding è una sottoclasse di Costruzione
(subclass HighRise Building) Mid-level-ontology.kif 26503-26503 HighRise è una sottoclasse di Costruzione
(subclass HomeGarage Building) Transportation.kif 2934-2934 HomeGarage è una sottoclasse di Costruzione
(subclass HotelVilla Building) Hotel.kif 132-132 HotelVilla è una sottoclasse di Costruzione
(subclass LibraryBuilding Building) Mid-level-ontology.kif 8476-8476 LibraryBuilding è una sottoclasse di Costruzione
(subclass MedicalClinicBuilding Building) Mid-level-ontology.kif 7667-7667 MedicalClinicBuilding è una sottoclasse di Costruzione
(subclass OfficeBuilding Building) Mid-level-ontology.kif 22477-22477 OfficeBuilding è una sottoclasse di Costruzione
(subclass ParkingGarage Building) Transportation.kif 2935-2935 ParkingGarage è una sottoclasse di Costruzione
(subclass PlaceOfWorship Building) Mid-level-ontology.kif 22520-22520 PlaceOfWorship è una sottoclasse di Costruzione
(subclass PoliceFacility Building) Mid-level-ontology.kif 20922-20922 PoliceFacility è una sottoclasse di Costruzione
(subclass ReligiousBuilding Building) Mid-level-ontology.kif 7904-7904 ReligiousBuilding è una sottoclasse di Costruzione
(subclass ResidentialBuilding Building) Merge.kif 15803-15803 ResidentialBuilding è una sottoclasse di Costruzione
(subclass RestaurantBuilding Building) Mid-level-ontology.kif 22556-22556 RestaurantBuilding è una sottoclasse di Costruzione
(subclass SchoolBuilding Building) Mid-level-ontology.kif 22482-22482 SchoolBuilding è una sottoclasse di Costruzione
(subclass Store Building) Mid-level-ontology.kif 7079-7079 Store è una sottoclasse di Costruzione
(subclass TerminalBuilding Building) Transportation.kif 2919-2919 TerminalBuilding è una sottoclasse di Costruzione
(subclass TollBooth Building) Transportation.kif 3076-3076 TollBooth è una sottoclasse di Costruzione
(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 Il numero 1 argomenti di numberOfFloors è un istanza di Costruzione

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 26159-26171
(=>
    (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 15097-15107
(=>
    (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 15073-15085
(=>
    (and
        (instance ?UNIT SingleFamilyResidence)
        (home ?PERSON ?UNIT)
        (possesses ?PERSON ?UNIT)
        (not
            (instance ?UNIT Building)))
    (instance ?UNIT CondominiumUnit))		 Mid-level-ontology.kif 6921-6927
(=>
    (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 15743-15753

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 5043-5051
(=>
    (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 6721-6727
(=>
    (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 21183-21192
(=>
    (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 15411-15420
(=>
    (instance ?BU BuildingUnit)
    (exists (?O ?B)
        (and
            (instance ?B Building)
            (instance ?O Organization)
            (part ?BU ?B)
            (workLocation ?O ?BU))))		 Mid-level-ontology.kif 20552-20559
(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))		 Mid-level-ontology.kif 20792-20799
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15299-15306
(=>
    (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 15427-15440
(=>
    (instance ?F Fireplace)
    (exists (?B)
        (and
            (instance ?B Building)
            (part ?F ?B))))		 Mid-level-ontology.kif 15373-15378
(=>
    (instance ?GARAGE Garage)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?GARAGE ?BUILDING))))		 Mid-level-ontology.kif 15486-15491
(=>
    (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 15622-15637
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))		 Mid-level-ontology.kif 9145-9150
(=>
    (instance ?LEVEL BuildingLevel)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?LEVEL ?BUILDING))))		 Mid-level-ontology.kif 15399-15404
(=>
    (instance ?M ArtMuseum)
    (exists (?B ?A)
        (and
            (possesses ?M ?B)
            (instance ?B Building)
            (instance ?A ArtWork)
            (located ?A ?B))))		 Mid-level-ontology.kif 8499-8506
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))		 Mid-level-ontology.kif 9133-9139
(=>
    (instance ?PLANT IndustrialPlant)
    (or
        (instance ?PLANT Building)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (located ?BUILDING ?PLANT)))))		 Mid-level-ontology.kif 15689-15696
(=>
    (instance ?PORCH Porch)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (connected ?PORCH ?BUILDING))))		 Mid-level-ontology.kif 15644-15649
(=>
    (instance ?ROOF Roof)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (top ?ROOF ?BUILDING))))		 Mid-level-ontology.kif 15346-15351
(=>
    (instance ?ROOM Room)
    (exists (?BUILD)
        (and
            (instance ?BUILD Building)
            (properPart ?ROOM ?BUILD))))		 Merge.kif 15762-15767
(=>
    (instance ?STEEPLE Steeple)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?STEEPLE ?BUILDING))))		 Mid-level-ontology.kif 7913-7918
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 15176-15184
(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15312-15319
(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 15290-15297
(=>
    (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 26021-26032

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