Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
roomAmenity
Sigma KEE - roomAmenity
roomAmenity
appearance as argument number 1
(
documentation
roomAmenity
EnglishLanguage
"(
roomAmenity
?ROOM ?PHYS) means that
TravelerAccommodation
provides
Physical
?PHYS in
HotelUnit
?ROOM")
Hotel.kif 274-275
(
domainSubclass
roomAmenity
1
HotelUnit
)
Hotel.kif 278-278
域子類
roomAmenity
, 1 and
HotelUnit
(
domainSubclass
roomAmenity
2
Physical
)
Hotel.kif 279-279
域子類
roomAmenity
, 2 and
Physical
(
instance
roomAmenity
BinaryPredicate
)
Hotel.kif 273-273
例
roomAmenity
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
roomAmenity
"%2 是 amenity 在 %1 ")
domainEnglishFormat.kif 4438-4438
(
format
ChineseTraditionalLanguage
roomAmenity
"%2 是 amenity 在 %1 ")
domainEnglishFormat.kif 4437-4437
(
format
EnglishLanguage
roomAmenity
"%2 is an amenity in %1")
domainEnglishFormat.kif 4436-4436
(
subrelation
freeRoomAmenity
roomAmenity
)
Hotel.kif 334-334
子關係
freeRoomAmenity
and
roomAmenity
(
subrelation
paidRoomAmenity
roomAmenity
)
Hotel.kif 380-380
子關係
paidRoomAmenity
and
roomAmenity
(
termFormat
EnglishLanguage
roomAmenity
"room amenity")
Hotel.kif 276-276
antecedent
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
Human
是在
AutonomousAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
AutonomousAgent
and
Human
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Object
Object
例
Object
and
HotelUnit
Physical
例
Object
and
HotelUnit
例
Physical
and
Physical
位於
Physical
and
Object
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Process
模態屬性
entity
entity
,
entity
and
entity
例
entity
and
HotelUnit
元件
entity
and
屬性
entity
agent
entity
and
entity
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
roomAmenity
?HR
TemperatureControl
)
(
exists
(?DEVICE ?ROOM ?TEMP)
(
and
(
instance
?ROOM ?HR)
(
instance
?DEVICE
AirConditioner
)
(
instance
?TEMP
TemperatureControl
)
(
located
?TEMP ?ROOM)
(
part
?TEMP ?DEVICE))))
Hotel.kif 1494-1502
TemperatureControl
是
amenity
在
HotelUnit
Object
Object
and
Object
例
Object
and
HotelUnit
例
Object
and
AirConditioner
例
Object
and
TemperatureControl
位於
Object
and
Object
部分
Object
and
Object
(=>
(
roomAmenity
?ROOM
MotionPicture
)
(
exists
(?R ?MS ?MP)
(
and
(
instance
?R ?ROOM)
(
instance
?MS
MediaSystem
)
(
located
?MS ?R)
(
instance
?MP
MotionPicture
)
(
modalAttribute
(
exists
(?RL)
(
and
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?MS)
(
patient
?RL ?MP)))
Possibility
))))
Hotel.kif 1506-1519
MotionPicture
是
amenity
在
HotelUnit
Object
Physical
and
Entity
例
Object
and
HotelUnit
例
Physical
and
MediaSystem
位於
Physical
and
Object
例
Entity
and
MotionPicture
模態屬性
Object
L
例
Object
L and
RadiatingLight
儀器
Object
L and
Physical
患者
Object
L and
Entity
and
可能性
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1727-1739
HotelMiniBar
是
amenity
在
HotelUnit
Object
Collection
and
AutonomousAgent
例
Object
and
HotelUnit
元件
Object
and
屬性
AutonomousAgent
例
Collection
and
HotelMiniBar
位於
Collection
and
Object
Physical
會員
Physical
and
Collection
CurrencyMeasure
Physical
是 對於
AutonomousAgent
的
price
CurrencyMeasure
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
all
rooms
在
RoomInventory
有
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
所有房間在在
RoomInventory
有服務
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
some
rooms
在
RoomInventory
有
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
HotelUnit
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
some
rooms
在
RoomInventory
有
Physical
HotelUnit
HotelUnit
是
RoomInventory
的
member
類別
Physical
是
amenity
在
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