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
Laughing
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
The number 1 argument of
room amenity
is a
subclass
of
hotel unit
(
domainSubclass
roomAmenity
2
Physical
)
Hotel.kif 279-279
The number 2 argument of
room amenity
is a
subclass
of
physical
(
instance
roomAmenity
BinaryPredicate
)
Hotel.kif 273-273
room amenity
is an
instance
of
binary predicate
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
free room amenity
is a
subrelation
of
room amenity
(
subrelation
paidRoomAmenity
roomAmenity
)
Hotel.kif 380-380
paid room amenity
is a
subrelation
of
room amenity
(
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
If
a human
is a
guest
at
an agent
and
the human
stays
at
a temporary residence
and
the temporary residence
is an
element
of
belongings
of
the agent
and
the temporary residence
is an
instance
of
the temporary residence
OOM and
a kind of physical
is an
amenity
in
the temporary residence
OOM and
a kind of physical
is a
subclass
of
object
,
then there exists
another physical
such that
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the temporary residence
and
the agent
allow
s
the human
to perform task of the type there exists
an entity
such that
the human
is an
agent
of
the entity
and
the other physical
is an
instrument
for
the entity
or
the other physical
is a
patient
of
the entity
or
the other physical
is a
resource
for
the entity
(=>
(
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
If
a kind of physical
is an
amenity
in
a kind of hotel unit
and
a kind of physical
is a
subclass
of
object
,
then for all
an object
if
the object
is an
instance
of
a kind of hotel unit
,
then there exists
another physical
such that
the object
is an
instance
of
the kind of hotel unit
and
the other physical
is an
instance
of
the kind of physical
and
the other physical
is
located
at
the 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
If
a kind of physical
is an
amenity
in
a kind of hotel unit
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
a kind of hotel unit
and
the entity
is an
element
of
belongings
of
the third entity
and
the third entity
is an
agent
of
the other entity
and
the other entity
is an
instance
of
the kind of physical
or
the fourth entity
is an
instance
of
the kind of physical
and
the other entity
is a
subprocess
of
the fourth entity
and
the other entity
is
located
at
the entity
has the
modal
force
of
possibility
(=>
(
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
If
temperature control
is an
amenity
in
a kind of hotel unit
,
then there exist
an object
,
another object
and
a third object
such that
the other object
is an
instance
of
a kind of hotel unit
and
the object
is an
instance
of
air conditioner
and
the third object
is an
instance
of
temperature control
and
the third object
is
located
at
the other object
and
the third object
is a
part
of
the 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
If
motion picture
is an
amenity
in
a kind of hotel unit
,
then there exist
an object
,
a physical
and
an entity
such that
the object
is an
instance
of
a kind of hotel unit
and
the physical
is an
instance
of
media system
and
the physical
is
located
at
the object
and
the entity
is an
instance
of
motion picture
and the statement there exists
the object
L such that
the object
L is an
instance
of
radiating light
and
the physical
is an
instrument
for
the object
L and
the entity
is a
patient
of
the object
L has the
modal
force
of
possibility
(=>
(
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
If
mini bar
is an
amenity
in
a kind of hotel unit
,
then there exist
an object
,
a collection
and
an agent
such that
the object
is an
instance
of
a kind of hotel unit
and
the object
is an
element
of
belongings
of
the agent
and
the collection
is an
instance
of
mini bar
and
the collection
is
located
at
the object
and for all
a physical
if
the physical
is a
member
of
the collection
,
then there exists
a currency measure
such that
the physical
is
price
the currency measure
for
the agent
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
If
all
rooms
in
a room inventory
have
a kind of physical
,
then for all
a kind of hotel unit
if
a kind of hotel unit
is a
member
type of
the room inventory
,
then
a kind of physical
is an
amenity
in
the kind of hotel unit
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
If all rooms in
a room inventory
have service
a kind of physical
,
then for all
a kind of hotel unit
if
a kind of hotel unit
is a
member
type of
the room inventory
,
then
a kind of physical
is an
amenity
in
the kind of hotel unit
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
If
some
rooms
in
a room inventory
have
a kind of physical
,
then there exists
a kind of hotel unit
such that
a kind of hotel unit
is a
member
type of
the room inventory
and
a kind of physical
is an
amenity
in
the kind of hotel unit
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
If
some
rooms
in
a room inventory
have
a kind of physical
,
then there exists
a kind of hotel unit
such that
a kind of hotel unit
is a
member
type of
the room inventory
and
a kind of physical
is an
amenity
in
the kind of hotel unit
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