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
Die Zahl 1 Argument von
roomAmenity
ist eine
teilkategorie
von
HotelUnit
%n{nicht}
(
domainSubclass
roomAmenity
2
Physical
)
Hotel.kif 279-279
Die Zahl 2 Argument von
roomAmenity
ist eine
teilkategorie
von
Physical
%n{nicht}
(
instance
roomAmenity
BinaryPredicate
)
Hotel.kif 273-273
roomAmenity
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
ist eine
teilrelation
von
roomAmenity
(
subrelation
paidRoomAmenity
roomAmenity
)
Hotel.kif 380-380
paidRoomAmenity
ist eine
teilrelation
von
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
Wenn
guest
Human
and
AutonomousAgent
und
stays
** Human
and
TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** TemporaryResidence
ist ein
fall
von
** TemporaryResidence
OOM %n{nicht} und
roomAmenity
** TemporaryResidence
OOM and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
,
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht} und
** AutonomousAgent
erlaubt
** Human
, die Aufgabe der Art von es gibt
entity
um
** entity
ist der
agent
von
** Human
%n{nicht} und
** ** Physical
ist ein
instrument
fuer
** entity
%n{nicht} oder
** ** Physical
ist ein
patient
von
** entity
%n{nicht} oder
** ** Physical
ist ein
hilfmittel
fuer
** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
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
Wenn
roomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
,
dann fuer alle
Object
wenn
** Object
ist ein
fall
von
** HotelUnit
%n{nicht},
dann es gibt
** Physical
um
** Object
ist ein
fall
von
** ** HotelUnit
%n{nicht} und
** ** Physical
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
roomAmenity
** HotelUnit
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
** HotelUnit
%n{nicht} und
** entity
ist ein
element
von
eigentum
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** entity
ist ein
subProzess
von
** ** entity
und
** ** entity
befindet
sich an %n{nicht} hat die modale Kraft von
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
Wenn
roomAmenity
** HotelUnit
and
TemperatureControl
,
dann es gibt
Object
,
** Object
, and und
** Object
um
** ** Object
ist ein
fall
von
** HotelUnit
%n{nicht} und
** Object
ist ein
fall
von
AirConditioner
%n{nicht} und
** ** Object
ist ein
fall
von
TemperatureControl
%n{nicht} und
** ** Object
befindet
sich an %n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht}
(=>
(
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
Wenn
roomAmenity
** HotelUnit
and
MotionPicture
,
dann es gibt
Object
,
Physical
, and und
Entity
um
** Object
ist ein
fall
von
** HotelUnit
%n{nicht} und
** Physical
ist ein
fall
von
MediaSystem
%n{nicht} und
** Physical
befindet
sich an %n{nicht} und
** Entity
ist ein
fall
von
MotionPicture
%n{nicht} und die Aussage es gibt
** Object
L um
** Object
L ist ein
fall
von
RadiatingLight
%n{nicht} und
** Physical
ist ein
instrument
fuer
** Object
L %n{nicht} und
** Entity
ist ein
patient
von
** Object
L %n{nicht} hat die modale Kraft von
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
Wenn
roomAmenity
** HotelUnit
and
HotelMiniBar
,
dann es gibt
Object
,
Collection
, and und
AutonomousAgent
um
** Object
ist ein
fall
von
** HotelUnit
%n{nicht} und
** Object
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** Collection
ist ein
fall
von
HotelMiniBar
%n{nicht} und
** Collection
befindet
sich an %n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt
CurrencyMeasure
um
price
** Physical
,
** CurrencyMeasure
and
** AutonomousAgent
consequent
(=>
(
allRoomsPhysicalAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 171-176
Wenn
allRoomsPhysicalAmenity
RoomInventory
and
** Physical
,
dann fuer alle
** HotelUnit
wenn
memberType
** RoomInventory
and
** HotelUnit
,
dann
roomAmenity
** ** HotelUnit
and
** Physical
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
Wenn
allRoomsServiceAmenity
RoomInventory
and
** Physical
,
dann fuer alle
** HotelUnit
wenn
memberType
** RoomInventory
and
** HotelUnit
,
dann
roomAmenity
** ** HotelUnit
and
** Physical
(=>
(
someRoomsPhysicalAmenity
?INV ?OBJ)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 187-192
Wenn
someRoomsPhysicalAmenity
RoomInventory
and
** Physical
,
dann es gibt
** HotelUnit
um
memberType
** RoomInventory
and
** HotelUnit
und
roomAmenity
** ** HotelUnit
and
** Physical
(=>
(
someRoomsServiceAmenity
?INV ?SVC)
(
exists
(?X)
(
and
(
memberType
?INV ?X)
(
roomAmenity
?X ?SVC))))
Hotel.kif 203-208
Wenn
someRoomsServiceAmenity
RoomInventory
and
** Physical
,
dann es gibt
** HotelUnit
um
memberType
** RoomInventory
and
** HotelUnit
und
roomAmenity
** ** HotelUnit
and
** Physical
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