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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BuildingLevel
BuildingLevel(building level)
first_floor, floor, ground_floor, ground_level, level, storey, story

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


(documentation BuildingLevel EnglishLanguage "The story or level of a building, e.g. the Basement, the Attic, the ground level, the fourteenth floor, etc.") Mid-level-ontology.kif 13108-13109
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Savassibuilding.jpg") pictureList.kif 8399-8399
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Exec_bldg.JPG") pictureList.kif 9015-9015
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Bank_of_china_night.jpg") pictureList.kif 9016-9016
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/en/e/ ed/ Ssld.jpg") pictureList.kif 9017-9017
(subclass BuildingLevel StationaryArtifact) Mid-level-ontology.kif 13107-13107 Building level is a subclass of stationary artifact

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


(subclass Basement BuildingLevel) Mid-level-ontology.kif 13118-13118 Basement is a subclass of building level
(termFormat ChineseLanguage BuildingLevel "建设水平") domainEnglishFormat.kif 12203-12203
(termFormat ChineseTraditionalLanguage BuildingLevel "建設水平") domainEnglishFormat.kif 12202-12202
(termFormat EnglishLanguage BuildingLevel "building level") domainEnglishFormat.kif 12201-12201

antecedent
-------------------------


(=>
    (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 12816-12826
(=>
    (instance ?LEVEL BuildingLevel)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (part ?LEVEL ?BUILDING))))
Mid-level-ontology.kif 13111-13116

consequent
-------------------------


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))
Hotel.kif 1158-1167
(=>
    (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 12792-12804
(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (floorCode ?FLRCODE ?PLACE))
    (exists (?UNIT ?FLOOR)
        (and
            (instance ?FLOOR BuildingLevel)
            (instance ?UNIT Room)
            (located ?UNIT ?FLOOR)
            (part ?FLOOR ?PLACE)
            (names ?UNITSTR ?UNIT)
            (names ?FLRCODE ?FLOOR))))
Mid-level-ontology.kif 22470-22481
(=>
    (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 13123-13132
(=>
    (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 13138-13151
(=>
    (instance ?X HighRise)
    (exists (?LEVELS ?NUM)
        (and
            (instance ?LEVELS Collection)
            (forall (?FLR)
                (=>
                    (and
                        (instance ?FLR BuildingLevel)
                        (part ?FLR ?X))
                    (member ?FLR ?LEVELS)))
            (memberCount ?LEVELS ?NUM)
            (greaterThanOrEqualTo ?NUM 10))))
Mid-level-ontology.kif 24658-24670
(=>
    (numberOfFloors ?BLDG ?NUM)
    (exists (?FLOORS)
        (and
            (forall (?X)
                (=>
                    (and
                        (instance ?X BuildingLevel)
                        (part ?X ?BLDG))
                    (member ?X ?FLOORS)))
            (memberCount ?FLOORS ?NUM))))
Hotel.kif 678-688
(=>
    (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 17051-17062
(=>
    (orientation ?OBJ1 ?OBJ2 Upstairs)
    (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 Above))))
Mid-level-ontology.kif 17034-17045


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