TreeView Knowledge Base Browser - HotelUnit

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HotelUnit

HotelUnit

appearance as argument number 1

(documentation HotelUnit EnglishLanguage "HotelUnit describes the basic unit that a traveler sleeps in when he is in TravelerAccomodation. It can be a Room or a detached Building")	Hotel.kif 91-93
(subclass HotelUnit StationaryArtifact)	Hotel.kif 89-89	HotelUnit は固定アーチファクトの subclass では %n
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	HotelUnit は TemporaryResidence の subclass では %n

appearance as argument number 2

(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	HotelRoom は HotelUnit の subclass では %n
(subclass HotelVilla HotelUnit)	Hotel.kif 133-133	HotelVilla は HotelUnit の subclass では %n
(termFormat EnglishLanguage HotelUnit "hotel unit")	Hotel.kif 94-94

appearance as argument number 3

(domainSubclass freeRoomAmenity 1 HotelUnit)	Hotel.kif 336-336	freeRoomAmenity の数値 1 引数は HotelUnit のsubclass では %n
(domainSubclass paidRoomAmenity 1 HotelUnit)	Hotel.kif 382-382	paidRoomAmenity の数値 1 引数は HotelUnit のsubclass では %n
(domainSubclass reservedRoom 2 HotelUnit)	Hotel.kif 2949-2949	reservedRoom の数値 2 引数は HotelUnit のsubclass では %n
(domainSubclass roomAmenity 1 HotelUnit)	Hotel.kif 278-278	roomAmenity の数値 1 引数は HotelUnit のsubclass では %n
(domainSubclass roomAttribute 1 HotelUnit)	Hotel.kif 460-460	roomAttribute の数値 1 引数は HotelUnit のsubclass では %n
(domainSubclass roomPolicy 1 HotelUnit)	Hotel.kif 445-445	roomPolicy の数値 1 引数は HotelUnit のsubclass では %n
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2739-2739	roomStay の数値 3 引数は HotelUnit のsubclass では %n

antecedent

(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1186-1201	Oversized はオブジェクトの attribute では %n オブジェクトはクラスの immediate のインスタンスでは %n クラスは HotelUnit の subclass では %n 物理実数, 実数 and 測定単位物理はクラスの immediate のインスタンスでは %n 測定単位は UnitOfArea の instance では %n 物理の measure は実数の測定単位(s) では %n オブジェクトの measure は実数の測定単位(s) では %n 実数は面積測定の instance では %n 実数は面積測定の instance では %n 実数は実数より greater では　%n
(=> (and (attribute ?X Suite) (instance ?X HotelUnit)) (exists (?R1 ?R2) (and (instance ?R1 HotelRoom) (instance ?R2 HotelRoom) (orientation ?R1 ?X Inside) (orientation ?R2 ?X Inside) (not (equal ?R1 ?R2)))))	Hotel.kif 1003-1014	Suite はオブジェクトの attribute では %n オブジェクトは HotelUnit の instance では %n オブジェクトオブジェクトオブジェクトは HotelRoom の instance では %n オブジェクトは HotelRoom の instance では %n オブジェクトは Inside 対オブジェクトでは %n オブジェクトは Inside 対オブジェクトでは %n オブジェクトはオブジェクトと equal では
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 69-75	rents AutonomousAgent, AutonomousAgent, オブジェクト and 時間間隔 TravelerAccommodation は AutonomousAgent の attribute では %n オブジェクトは HotelUnit の instance では %n guest AutonomousAgent and AutonomousAgent は時間間隔の during holds %n{ない}
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 96-101	オブジェクトは HotelUnit の instance では %n 物理物理は Bed の instance では %n 物理はオブジェクトに located して %n
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 103-108	エンティティーは HotelUnit の instance では %n AutonomousAgent TravelerAccommodation は AutonomousAgent の attribute では %n エンティティーは AutonomousAgent の belongings の element %n
(=> (instance ?ROOM HotelUnit) (hasPurpose ?ROOM (exists (?AGENT ?CUST ?TI) (and (not (equal ?AGENT ?CUST)) (element ?ROOM (PropertyFn ?AGENT)) (rents ?CUST ?AGENT ?ROOM ?TI)))))	Hotel.kif 110-117	物理は HotelUnit の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーはエンティティーと equal では物理はエンティティーの belongings の element %n rents エンティティー, エンティティー, 物理 and エンティティーの目的 %n{ない}

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelRoomAttribute)) (instance ?X HotelUnit))	Hotel.kif 978-982	属性はオブジェクトの attribute では %n 属性は HotelRoomAttribute の instance では %n オブジェクトは HotelUnit の instance では %n
(=> (and (attribute ?X TravelerAccommodation) (capability RoomCleaningService agent ?X)) (exists (?MAID ?HOTELROOM) (and (employs ?X ?MAID) (attribute ?MAID Maid) (instance ?HOTELROOM HotelUnit) (part ?HOTELROOM (PropertyFn ?X)) (capability RoomCleaningService patient ?HOTELROOM) (capability RoomCleaningService serviceProvider ?MAID))))	Hotel.kif 1935-1946	TravelerAccommodation は AutonomousAgent の attribute では %n AutonomousAgent は RoomCleaningService を agent として行う capable では %n 認識エージェントオブジェクト AutonomousAgent は認識エージェントを employs %n{ない} Maid は認識エージェントの attribute では %n オブジェクトは HotelUnit の instance では %n オブジェクトは AutonomousAgent の belongings の part では %n オブジェクトは RoomCleaningService を patient として行う capable では %n 認識エージェントは RoomCleaningService を serviceProvider として行う capable では %n
(=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM)))))	Hotel.kif 2392-2407	customer 認識エージェント and AutonomousAgent AutonomousAgent は認識エージェントを employs %n{ない} TravelerAccommodation は AutonomousAgent の attribute では %n Porter は認識エージェントの attribute では %n 認識エージェントはオブジェクトを possesses %n{ない} オブジェクトは TravelContainer の instance では %n オブジェクト工程オブジェクトは HotelUnit の instance では %n 工程は Carrying の instance では %n 認識エージェントは工程の agent では %n 工程はオブジェクトに ends %n{ない} 工程はオブジェクトから originates %n{ない}
(=> (attribute ?X TravelerAccommodation) (hasPurpose ?X (exists (?GUEST ?ROOM ?TI) (and (rents ?GUEST ?X ?ROOM ?TI) (instance ?ROOM HotelUnit) (element ?ROOM (PropertyFn ?X))))))	Hotel.kif 45-52	TravelerAccommodation はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティー and エンティティー rents エンティティー, オブジェクト, エンティティー and エンティティーエンティティーは HotelUnit の instance では %n エンティティーはオブジェクトの belongings の element %n の目的 %n{ない}
(=> (instance ?SVC RoomService) (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC) (and (customer ?CUSTOMER ?AGENT) (agent ?SVC ?AGENT) (instance ?RQST Requesting) (agent ?RQST ?CUSTOMER) (patient ?RQST ?ORDER) (represents ?ORDER ?FOOD) (instance ?FOOD PreparedFood) (located ?CUSTOMER ?LOC) (instance ?LOC HotelUnit) (instance ?DELIVERY DeliveryService) (patient ?DELIVERY ?FOOD) (destination ?DELIVERY ?LOC) (before (BeginFn (WhenFn ?RQST)) (BeginFn (WhenFn ?DELIVERY))))))	Hotel.kif 1969-1987	工程は RoomService の instance では %n AutonomousAgent エンティティー, 認識エージェント, 工程, エンティティー, 工程 and オブジェクト customer 認識エージェント and AutonomousAgent AutonomousAgent は工程の agent では %n 工程は要求の instance では %n 認識エージェントは工程の agent では %n エンティティーは工程の patient では %n エンティティーはエンティティーを expresses %n{ない} エンティティーは PreparedFood の instance では %n 認識エージェントはオブジェクトに located して %n オブジェクトは HotelUnit の instance では %n 工程は DeliveryService の instance では %n エンティティーは工程の patient では %n 工程はオブジェクトに ends %n{ない} 工程の time の existence の beginning は工程の time の existence の beginning の before に happens %n{ない}
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit))	Hotel.kif 143-145	コレクションは RoomInventory の instance では %n memberType コレクション and HotelUnit

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