Room - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Room Building)	Merge.kif 15891-15891	部屋と建物は disjoint では %n
(documentation Room ChineseLanguage "这是 Building 的 properPart，它由墙把它和 Building 的外墙和/ 或 Building 其他的 Room 分隔。有些 Room 会有特定的用途，例如：睡觉、洗澡、煮食和娱乐等等。")	chinese_format.kif 3588-3590	部屋と建物は disjoint では %n
(documentation Room EnglishLanguage "A properPart of a Building which is separated from the exterior of the Building and/ or other Rooms of the Building by walls. Some Rooms may have a specific purpose, e.g. sleeping, bathing, cooking, entertainment, etc.")	Merge.kif 15892-15895	部屋と建物は disjoint では %n
(externalImage Room "http://upload.wikimedia.org/wikipedia/commons/5/56/ OvalOffice.whitehouse.jpg")	pictureList.kif 141-141	部屋と建物は disjoint では %n
(subclass Room StationaryArtifact)	Merge.kif 15890-15890	部屋は固定アーチファクトの subclass では %n

appearance as argument number 2

(subclass Bathroom Room)	Mid-level-ontology.kif 16884-16884	Bathroom は部屋の subclass では %n
(subclass Bedroom Room)	Mid-level-ontology.kif 16975-16975	Bedroom は部屋の subclass では %n
(subclass BusinessCenter Room)	Hotel.kif 1661-1661	BusinessCenter は部屋の subclass では %n
(subclass Classroom Room)	Mid-level-ontology.kif 16985-16985	Classroom は部屋の subclass では %n
(subclass Closet Room)	Mid-level-ontology.kif 16895-16895	Closet は部屋の subclass では %n
(subclass CourtRoom Room)	Mid-level-ontology.kif 17579-17579	CourtRoom は部屋の subclass では %n
(subclass DiningRoom Room)	Mid-level-ontology.kif 16971-16971	DiningRoom は部屋の subclass では %n
(subclass DressingRoom Room)	Mid-level-ontology.kif 16907-16907	DressingRoom は部屋の subclass では %n
(subclass GameRoom Room)	Mid-level-ontology.kif 28437-28437	GameRoom は部屋の subclass では %n
(subclass Hallway Room)	Mid-level-ontology.kif 17004-17004	Hallway は部屋の subclass では %n
(subclass HotelFunctionRoom Room)	Hotel.kif 1697-1697	HotelFunctionRoom は部屋の subclass では %n
(subclass HotelRoom Room)	Hotel.kif 119-119	HotelRoom は部屋の subclass では %n
(subclass Kitchen Room)	Mid-level-ontology.kif 16945-16945	Kitchen は部屋の subclass では %n
(subclass Nursery Room)	Mid-level-ontology.kif 28450-28450	Nursery は部屋の subclass では %n
(subclass SelfServiceLaundry Room)	Mid-level-ontology.kif 27077-27077	SelfServiceLaundry は部屋の subclass では %n
(subclass Solarium Room)	Mid-level-ontology.kif 28408-28408	Solarium は部屋の subclass では %n
(subclass SteamBath Room)	Mid-level-ontology.kif 28461-28461	SteamBath は部屋の subclass では %n
(termFormat ChineseLanguage Room "房间")	chinese_format.kif 1052-1052	SteamBath は部屋の subclass では %n
(termFormat EnglishLanguage Room "room")	english_format.kif 1315-1315	SteamBath は部屋の subclass では %n
(termFormat FrenchLanguage Room "pi�ce")	french_format.kif 730-730	SteamBath は部屋の subclass では %n
(termFormat Hindi Room "kaksha")	terms-hindi.txt 261-261	SteamBath は部屋の subclass では %n
(termFormat ItalianLanguage Room "Stanza")	terms-it.txt 264-264	SteamBath は部屋の subclass では %n
(termFormat JapaneseLanguage Room "部屋")	japanese_format.kif 2414-2414	SteamBath は部屋の subclass では %n
(termFormat PortugueseLanguage Room "Comodo")	portuguese_format.kif 682-682	SteamBath は部屋の subclass では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 27816-27828	WheelchairAccessible はオブジェクトの attribute では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n ステートメントエンティティーエンティティーエンティティーは motion の instance では %n エンティティーはエンティティーの instrument では %n エンティティーは Wheelchair の instance では %n eventLocated エンティティー and オブジェクトには Possibility の modal force がある
(=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL)))))	Mid-level-ontology.kif 27478-27495	物理は KnockLight の instance では %n 物理はオブジェクトに located して %n オブジェクトは部屋の instance では %n オブジェクトは Door の instance では %n オブジェクトはオブジェクトの part では %n 物理はエンティティーエンティティー and エンティティーエンティティーは衝撃の instance では %n オブジェクトはエンティティーの patient では %n エンティティーはエンティティーを causes %n{ない} エンティティーは放射音の instance では %n オブジェクトはエンティティーの agent では %n エンティティーはエンティティーを causes %n{ない} エンティティーは RadiatingVisibleLight の instance では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom))	Mid-level-ontology.kif 2664-2669	物理はオブジェクトに located して %n 物理は Toilet の instance では %n オブジェクトは部屋の instance では %n オブジェクトは Bathroom の instance では %n
(=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (instance ?INST ?OBJ) (orientation ?INST ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 962-975	viewType オブジェクト and 物理オブジェクトは部屋の instance では %n オブジェクトは物理の instance では %n オブジェクトは Outside 対オブジェクトでは %n ステートメントエンティティーエンティティーエンティティーは人［人間］の instance では %n エンティティーはオブジェクトに located して %n エンティティーは見ることの instance では %n オブジェクトはエンティティーの patient では %n エンティティーはエンティティーの agent では %n には Possibility の modal force がある
(=> (instance ?ROOM Room) (exists (?BUILD) (and (instance ?BUILD Building) (properPart ?ROOM ?BUILD))))	Merge.kif 15897-15902	オブジェクトは部屋の instance では %n オブジェクトオブジェクトは建物の instance では %n オブジェクトはオブジェクトの proper part では %n

consequent

(=> (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 26313-26324	unitNumber 記号文字列 and PostalPlace floorCode 記号文字列 and PostalPlace 物理オブジェクトオブジェクトは BuildingLevel の instance では %n 物理は部屋の instance では %n 物理はオブジェクトに located して %n オブジェクトは PostalPlace の part では %n 物理は記号文字列の name を持って %n{ない} オブジェクトは記号文字列の name を持って %n{ない}
(=> (and (unitNumber ?UNITSTR ?PLACE) (not (exists (?FLR) (floorCode ?FLR ?PLACE)))) (exists (?UNIT) (and (instance ?UNIT Room) (names ?UNITSTR ?UNIT) (located ?UNIT ?PLACE))))	Mid-level-ontology.kif 26326-26336	unitNumber 記号文字列 and PostalPlace 記号文字列 floorCode 記号文字列 and PostalPlace 物理物理は部屋の instance では %n 物理は記号文字列の name を持って %n{ない} 物理は PostalPlace に located して %n
(=> (attribute ?ROOM OpenLayout) (and (instance ?ROOM Room) (exists (?R1 ?R2 ?H) (and (instance ?R1 Region) (instance ?R2 Region) (located ?R1 ?ROOM) (located ?R2 ?ROOM) (not (equal ?R1 ?R2)) (orientation ?R1 ?R2 Adjacent) (exists (?P1 ?P2) (and (instance ?P1 Process) (instance ?P2 Process) (hasPurpose ?R1 ?P1) (hasPurpose ?R2 ?P2))) (=> (and (instance ?H AutonomousAgent) (located ?H ?R2)) (and (capability Seeing agent ?H) (capability Seeing patient ?R1)))))))	Dining.kif 956-980	OpenLayout はオブジェクトの attribute では %n オブジェクトは部屋の instance では %n オブジェクトオブジェクト and オブジェクトオブジェクトは地域の instance では %n オブジェクトは地域の instance では %n オブジェクトはオブジェクトに located して %n オブジェクトはオブジェクトに located して %n オブジェクトはオブジェクトと equal ではオブジェクトは Adjacent 対オブジェクトでは %n 公式公式公式は工程の instance では %n 公式は工程の instance では %n オブジェクトは公式の目的 %n{ない} オブジェクトは公式の目的 %n{ない} オブジェクトは AutonomousAgent の instance では %n オブジェクトはオブジェクトに located して %n オブジェクトは見ることを agent として行う capable では %n オブジェクトは見ることを patient として行う capable では %n
(=> (attribute ?X AdjoiningRoom) (instance ?X Room))	Mid-level-ontology.kif 16624-16626	AdjoiningRoom はオブジェクトの attribute では %n オブジェクトは部屋の instance では %n
(=> (instance ?C Ceiling) (exists (?R) (and (top ?C ?R) (instance ?R Room))))	Mid-level-ontology.kif 16727-16732	自己接続オブジェクトは Ceiling の instance では %n 自己接続オブジェクト自己接続オブジェクトの top は自己接続オブジェクトでは自己接続オブジェクトは部屋の instance では %n
(=> (instance ?DOOR Door) (exists (?ARTIFACT) (and (part ?DOOR ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16690-16697	オブジェクトは Door の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n
(=> (instance ?FLOOR Floor) (exists (?ARTIFACT) (and (part ?FLOOR ?ARTIFACT) (instance ?ARTIFACT Room))))	Mid-level-ontology.kif 16716-16721	オブジェクトは Floor の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは部屋の instance では %n
(=> (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 17013-17028	物理は Hallway の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Translocation の instance では %n 物理はエンティティーが発生する path では %n 物理はエンティティーに located して %n エンティティーは建物の instance では %n 物理はエンティティーとエンティティーの between では %n エンティティーは部屋の instance では %n エンティティーは部屋の instance では %n エンティティーはエンティティーに located して %n エンティティーはエンティティーに located して %n エンティティーはエンティティーと equal ではの目的 %n{ない}
(=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P)))))	Mid-level-ontology.kif 3593-3603	物理は Wallpaper の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Wall の instance では %n エンティティーはエンティティーの part では %n エンティティーは部屋の instance では %n エンティティーは覆いの instance では %n エンティティーはエンティティーの patient では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	Mid-level-ontology.kif 16567-16575	オブジェクトは Window の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n オブジェクトは Vehicle の instance では %n
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16703-16710	オブジェクトは Wall の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16681-16688	オブジェクトは Doorway の instance では %n オブジェクトオブジェクトはオブジェクトの part では %n オブジェクトは建物の instance では %n オブジェクトは部屋の instance では %n
(=> (instance ?X RoomHeater) (hasPurpose ?X (exists (?AIR ?HEATING ?ROOM) (and (instance ?AIR Air) (instance ?ROOM Room) (located ?AIR ?ROOM) (instance ?HEATING Heating) (patient ?HEATING ?AIR) (instrument ?HEATING ?X)))))	Mid-level-ontology.kif 28502-28512	物理は RoomHeater の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Air の instance では %n エンティティーは部屋の instance では %n エンティティーはエンティティーに located して %n エンティティーは加熱の instance では %n エンティティーはエンティティーの patient では %n 物理はエンティティーの instrument では %n の目的 %n{ない}

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

KB Term:			Term intersection

English Word: