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
Il numero 1 argomento
roomAmenity
è una
sottoclasse
di
HotelUnit
(
domainSubclass
roomAmenity
2
Physical
)
Hotel.kif 279-279
Il numero 2 argomento
roomAmenity
è una
sottoclasse
di
Entit�Concreta
(
instance
roomAmenity
BinaryPredicate
)
Hotel.kif 273-273
roomAmenity
è un'
istanza
di
PredicatoBinario
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
è una
sottorelazione
di
roomAmenity
(
subrelation
paidRoomAmenity
roomAmenity
)
Hotel.kif 380-380
paidRoomAmenity
è una
sottorelazione
di
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
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
TemporaryResidence
è un'
istanza
di
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
TemporaryResidence
AutonomousAgent
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
è un
agente
di
Umano
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è una
risorsa
per
Entit�
(=>
(
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
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
HotelUnit
Entit�Concreta
Oggetto
è un'
istanza
di
HotelUnit
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
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
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di
Possibility
Entit�
è un
agente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
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
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
è un'
istanza
di
AirConditioner
Oggetto
è un'
istanza
di
TemperatureControl
Oggetto
è
localizzato
in
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
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
ImmagineDinamica
Oggetto
Entit�Concreta
and
Entit�
Oggetto
è un'
istanza
di
HotelUnit
Entit�Concreta
è un'
istanza
di
MediaSystem
Entit�Concreta
è
localizzato
in
Oggetto
Entit�
è un'
istanza
di
ImmagineDinamica
l'affermazione
Oggetto
L
Oggetto
L è un'
istanza
di
RadiazioneLuminosa
Entit�Concreta
è uno
strumento
per
Oggetto
L
Entit�
è un
paziente
di
Oggetto
L ha il modello di forza di
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
Oggetto
InsiemeConcreto
and
AutonomousAgent
Oggetto
è un'
istanza
di
HotelUnit
%è un
elemento
di %2
InsiemeConcreto
è un'
istanza
di
HotelMiniBar
InsiemeConcreto
è
localizzato
in
Oggetto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
MisuraMonetaria
price
Entit�Concreta
,
MisuraMonetaria
and
AutonomousAgent
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
allRoomsPhysicalAmenity
RoomInventory
and
Entit�Concreta
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Entit�Concreta
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
allRoomsServiceAmenity
RoomInventory
and
Entit�Concreta
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Entit�Concreta
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
someRoomsPhysicalAmenity
RoomInventory
and
Entit�Concreta
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Entit�Concreta
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
someRoomsServiceAmenity
RoomInventory
and
Entit�Concreta
HotelUnit
memberType
RoomInventory
and
HotelUnit
roomAmenity
HotelUnit
and
Entit�Concreta
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