BuildingLevel - Sigma Knowledge base Browser

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 14813-14814
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6a/ Savassibuilding.jpg")	pictureList.kif 8398-8398
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ a/ a4/ Exec_bldg.JPG")	pictureList.kif 9011-9011
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Bank_of_china_night.jpg")	pictureList.kif 9012-9012
(externalImage BuildingLevel "http://upload.wikimedia.org/wikipedia/en/e/ ed/ Ssld.jpg")	pictureList.kif 9013-9013
(subclass BuildingLevel StationaryArtifact)	Mid-level-ontology.kif 14812-14812	Building level is a subclass of stationary artifact

appearance as argument number 2

(subclass Basement BuildingLevel)	Mid-level-ontology.kif 14823-14823	Basement is a subclass of building level
(termFormat ChineseLanguage BuildingLevel "建设水平")	domainEnglishFormat.kif 12260-12260
(termFormat ChineseTraditionalLanguage BuildingLevel "建設水平")	domainEnglishFormat.kif 12259-12259
(termFormat EnglishLanguage BuildingLevel "building level")	domainEnglishFormat.kif 12258-12258

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 14514-14524	If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object, then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object
(=> (instance ?LEVEL BuildingLevel) (exists (?BUILDING) (and (instance ?BUILDING Building) (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 14816-14821	If an object is an instance of building level, then there exists another object such that the other object is an instance of building and the object is a part of the other object

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG)))))	Hotel.kif 1185-1194	If an attribute is an attribute of an object and the attribute is an instance of HotelLevelAttribute, then the object is an instance of building level and there exists another object such that the other object is an instance of hotel and the object is a part of the other object
(=> (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 14490-14502	If an object is an instance of stairway and the object is a part of another object and the other object is an instance of building, then the object has the purpose there exist an entity and another entity such that the entity is an instance of building level and the other entity is an instance of building level and the entity is a part of the other object and the other entity is a part of the other object and the object connects the entity and the other entity
(=> (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 23954-23965	If the unit number of a PostalPlace is a symbolic string and another symbolic string is the floor of the PostalPlace, then there exist a physical and an object such that the object is an instance of building level and the physical is an instance of room and the physical is located at the object and the object is a part of the PostalPlace and the physical has name the symbolic string and the object has name the other symbolic string
(=> (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 14828-14837	If an object is an instance of basement, then there don't exist another object and a third object such that the other object is an instance of building level and the third object is an instance of building and the other object is a part of the third object and the object is a part of the third object and the other object is not equal to the object and the other object is below to the object
(=> (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 14844-14857	If a physical is an instance of elevator, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of transportation and the entity originates at the other entity and the other entity is an instance of building level and the entity ends up at the third entity and the third entity is an instance of building level and the other entity is not equal to the third entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the fourth entity is an instance of building
(=> (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 25843-25855	If an object is an instance of high rise, then there exist a collection and an integer such that the collection is an instance of collection and for all another object if the other object is an instance of building level and the other object is a part of the object, then the other object is a member of the collection and the integer is a member count of the collection and the integer is greater than or equal to 10
(=> (numberOfFloors ?BLDG ?NUM) (exists (?FLOORS) (and (forall (?X) (=> (and (instance ?X BuildingLevel) (part ?X ?BLDG)) (member ?X ?FLOORS))) (memberCount ?FLOORS ?NUM))))	Hotel.kif 684-694	If a building has an integer floors, then there exists a collection such that for all an object if the object is an instance of building level and the object is a part of the building, then the object is a member of the collection and the integer is a member count of the collection
(=> (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 18561-18572	If an object is downstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is below to the fourth object
(=> (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 18544-18555	If an object is upstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is above to the fourth object

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