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
O argumento numero 1 de
roomAmenity
e' uma
sub
-classe de
HotelUnit
(
domainSubclass
roomAmenity
2
Physical
)
Hotel.kif 279-279
O argumento numero 2 de
roomAmenity
e' uma
sub
-classe de
Fisico
(
instance
roomAmenity
BinaryPredicate
)
Hotel.kif 273-273
roomAmenity
e' uma
instancia
de
Predicado Binario
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
e' uma
sub
-relacao de
roomAmenity
(
subrelation
paidRoomAmenity
roomAmenity
)
Hotel.kif 380-380
paidRoomAmenity
e' uma
sub
-relacao de
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
guest
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
TemporaryResidence
e' uma
instancia
de
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Fisico
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
TemporaryResidence
AutonomousAgent
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
e' um
agente
de
Humano
Fisico
e' um
instrumento
para
Entidade
Fisico
e' um
patient
de
Entidade
Fisico
e' um
recurso
para
Entidade
(=>
(
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
roomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Fisico
Objeto
e' uma
instancia
de
HotelUnit
Fisico
e' uma
instancia
de
Fisico
Fisico
e'
situado
em
Objeto
(=>
(
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
roomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
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
roomAmenity
HotelUnit
and
TemperatureControl
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' uma
instancia
de
AirConditioner
Objeto
e' uma
instancia
de
TemperatureControl
Objeto
e'
situado
em
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
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
roomAmenity
HotelUnit
and
Filme
Objeto
Fisico
and
Entidade
Objeto
e' uma
instancia
de
HotelUnit
Fisico
e' uma
instancia
de
MediaSystem
Fisico
e'
situado
em
Objeto
Entidade
e' uma
instancia
de
Filme
o argumento
Objeto
L
Objeto
L e' uma
instancia
de
Luz Irradiante
Fisico
e' um
instrumento
para
Objeto
L
Entidade
e' um
patient
de
Objeto
L tem a
forca
modal
de
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
roomAmenity
HotelUnit
and
HotelMiniBar
Objeto
Colecao
and
AutonomousAgent
Objeto
e' uma
instancia
de
HotelUnit
Objeto
e' um
elemento
de
propriedade
de
AutonomousAgent
Colecao
e' uma
instancia
de
HotelMiniBar
Colecao
e'
situado
em
Objeto
Fisico
Fisico
e'
membro
de
Colecao
Medida de Divisa
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
allRoomsPhysicalAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
allRoomsServiceAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
someRoomsPhysicalAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
someRoomsServiceAmenity
RoomInventory
and
Fisico
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Fisico
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