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
guest
Sigma KEE - guest
guest
appearance as argument number 1
(
documentation
guest
EnglishLanguage
"
guest
refers to the
customer
living in a
TemporaryResidence
for the duration of his stay there")
Hotel.kif 57-58
(
domain
guest
1
CognitiveAgent
)
Hotel.kif 66-66
guest
の数値 1 引数は
認識エージェント
の
instance
では %n
(
domain
guest
2
AutonomousAgent
)
Hotel.kif 67-67
guest
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
instance
guest
BinaryPredicate
)
Hotel.kif 56-56
guest
は
2進述語
の
instance
では %n
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
は
customer
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
guest
"%1 是在 %2 的
guest
")
domainEnglishFormat.kif 3566-3566
(
format
ChineseTraditionalLanguage
guest
"%1 是在 %2 的
guest
")
domainEnglishFormat.kif 3565-3565
(
format
EnglishLanguage
guest
"%1 is a
guest
at %2")
domainEnglishFormat.kif 3564-3564
(
termFormat
EnglishLanguage
guest
"guest")
Hotel.kif 59-59
antecedent
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
認識エージェント
and
時点
guest
認識エージェント
and
認識エージェント
expects
認識エージェント
and
エンティティー
エンティティー
エンティティー
は
時点
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
CheckOutService
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
before
に happens %n{ない}
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
TennisProfessional
は
認識エージェント
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
ステートメント
エンティティー
エンティティー
エンティティー
は
Tennis
の
instance
では %n
contestParticipant
エンティティー
and
認識エージェント
contestParticipant
エンティティー
and
認識エージェント
エンティティー
は
エンティティー
に
located
して %n
AutonomousAgent
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
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
人[人間]
and
AutonomousAgent
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
TemporaryResidence
は
TemporaryResidence
OOM の
instance
では %n
roomAmenity
TemporaryResidence
OOM and
物理
物理
は
オブジェクト
の
subclass
では %n
物理
物理
は
物理
の
instance
では %n
物理
は
TemporaryResidence
に
located
して %n
AutonomousAgent
は
人[人間]
が
エンティティー
人[人間]
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の
instrument
では %n
物理
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
resource
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
offers
AutonomousAgent
and
MealPlan
MealPlan
は
MealPlan
の
instance
では %n
includedMeal
MealPlan
and
関係属性
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
buys
認識エージェント
,
AutonomousAgent
and
MealPlan
エンティティー
エンティティー
関係属性
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
エンティティー
は
摂食
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない} は
エンティティー
の
during
holds %n{ない} は
guest
認識エージェント
and
AutonomousAgent
の
time
の existence の
during
holds %n{ない}
consequent
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Policy
は
DailyHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
ステートメント
エンティティー
エンティティー
and
エンティティー
guest
エンティティー
and
組織
stays
エンティティー
and
エンティティー
エンティティー
は
stays
エンティティー
and
エンティティー
の
time
の existence と
equal
では %n
エンティティー
エンティティー
は
日
の
instance
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
は
エンティティー
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Policy
は
NoHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Policy
は
WithHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
offers
AutonomousAgent
and
MealPlan
MealPlan
は
MealPlan
の
instance
では %n
includedMeal
MealPlan
and
関係属性
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
guest
認識エージェント
and
AutonomousAgent
buys
認識エージェント
,
AutonomousAgent
and
MealPlan
エンティティー
エンティティー
関係属性
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
エンティティー
は
摂食
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない} は
エンティティー
の
during
holds %n{ない} は
guest
認識エージェント
and
AutonomousAgent
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
propositionOwner
?AGENT ?HP)
(
instance
?HP
HotelPackage
)
(
accommodationProvider
?HP ?HOTEL)
(
roomStay
?HP ?NUM ?ROOM)
(
instance
?R ?ROOM)
(
element
?R
(
PropertyFn
?HOTEL))
(
buys
?CUST ?AGENT ?HP))
(
exists
(?TI)
(
and
(
equal
?TI
(
MeasureFn
?NUM
DayDuration
))
(
holdsDuring
?TI
(
guest
?CUST ?HOTEL)))))
Hotel.kif 2744-2757
propositionOwner
認識エージェント
and
HotelPackage
HotelPackage
は
HotelPackage
の
instance
では %n
accommodationProvider
HotelPackage
and
組織
roomStay
HotelPackage
,
整数
and
HotelUnit
エンティティー
は
HotelUnit
の
instance
では %n
エンティティー
は
組織
の
belongings
の
element
%n
buys
認識エージェント
,
認識エージェント
and
HotelPackage
時間位置
時間位置
は
整数
の
DayDuration
(s) と
equal
では %n
guest
認識エージェント
and
組織
は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
rents
?GUEST ?HOTEL ?ROOM ?TI)
(
attribute
?HOTEL
TravelerAccommodation
)
(
instance
?ROOM
HotelUnit
))
(
holdsDuring
?TI
(
guest
?GUEST ?HOTEL)))
Hotel.kif 69-75
rents
AutonomousAgent
,
AutonomousAgent
,
オブジェクト
and
時間間隔
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
オブジェクト
は
HotelUnit
の
instance
では %n
guest
AutonomousAgent
and
AutonomousAgent
は
時間間隔
の
during
holds %n{ない}
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