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
The number 1 argument of
guest
is an
instance
of
cognitive agent
(
domain
guest
2
AutonomousAgent
)
Hotel.kif 67-67
The number 2 argument of
guest
is an
instance
of
agent
(
instance
guest
BinaryPredicate
)
Hotel.kif 56-56
guest
is an
instance
of
binary predicate
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
is a
subrelation
of
customer
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
If one must
check
out
before
a time point
at
a cognitive agent
and
another cognitive agent
is a
guest
at
the cognitive agent
,
then
the cognitive agent
expects
there exist
an entity
and
another entity
such that
the entity
is an
instance
of
the time point
and
the other cognitive agent
is a
patient
of
the other entity
and
the other entity
is an
instance
of
check-out service
and
the cognitive agent
is an
agent
of
the other entity
and the
beginning
of the
time
of existence of
the other entity
happens
before
the entity
will be true
(=>
(
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
If
an agent
employ
s
a cognitive agent
and
traveler accommodation
is an
attribute
of
the agent
and
tennis pro
is an
attribute
of
the cognitive agent
and
another cognitive agent
is a
guest
at
the agent
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
tennis
and
the cognitive agent
participates
in
the entity
and
the other cognitive agent
participates
in
the entity
and
the entity
is
located
at
the other entity
and
the agent
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
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
(
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
If
an agent
offers
items for sale in
a meal plan
and
the meal plan
is an
instance
of
meal plan
and
meals
of type
a relational attribute
are includes in
the meal plan
and
traveler accommodation
is an
attribute
of
the agent
and
a cognitive agent
is a
guest
at
the agent
and
the cognitive agent
buys
the meal plan
from
the agent
,
then there exists
an entity
such that there exists
another entity
such that
the relational attribute
is an
attribute
of
the other entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
holds
during
the entity
holds
during
the
time
of existence of
the cognitive agent
is a
guest
at
the agent
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
If
a policy
is an
instance
of
daily housekeeping
and
an organization
enacts
policy
the policy
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
guest
at
the organization
and
the entity
stays
at
the other entity
and
the third entity
is
equal
to the
time
of existence of
the entity
stays
at
the other entity
and for all
a fourth entity
if
the fourth entity
is an
instance
of
day
and
the fourth entity
takes place
during
the third entity
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of
service
and
the other entity
is a
patient
of
the fifth entity
and
the fifth entity
takes place
during
the fourth entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
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
If
a policy
is an
instance
of
no housekeeping
and
an organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
,
then the statement there exist
an entity
and
another entity
such that
the entity
is a
guest
at
the organization
and there doesn't exist
a third entity
such that
the third entity
is an
instance
of
service
and
the other entity
is a
patient
of
the third entity
holds
during
the
time
of existence of
the entity
stays
at
the other entity
has the
modal
force
of
likely
(=>
(
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
If
a policy
is an
instance
of
with housekeeping
and
an organization
enacts
policy
the policy
and
traveler accommodation
is an
attribute
of
the organization
,
then the statement there exist
an entity
and
another entity
such that
the entity
is a
guest
at
the organization
and there exists
a third entity
such that
the third entity
is an
instance
of
service
and
the other entity
is a
patient
of
the third entity
holds
during
the
time
of existence of
the entity
stays
at
the other entity
has the
modal
force
of
likely
(=>
(
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
If
an agent
offers
items for sale in
a meal plan
and
the meal plan
is an
instance
of
meal plan
and
meals
of type
a relational attribute
are includes in
the meal plan
and
traveler accommodation
is an
attribute
of
the agent
and
a cognitive agent
is a
guest
at
the agent
and
the cognitive agent
buys
the meal plan
from
the agent
,
then there exists
an entity
such that there exists
another entity
such that
the relational attribute
is an
attribute
of
the other entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
holds
during
the entity
holds
during
the
time
of existence of
the cognitive agent
is a
guest
at
the agent
(=>
(
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
If
a cognitive agent
authored
a hotel package
and
the hotel package
is an
instance
of
hotel package
and
an organization
provides
the hotel package
and
the hotel package
specifies
an integer
days
stay
at
a kind of hotel unit
and
an entity
is an
instance
of
a kind of hotel unit
and
the entity
is an
element
of
belongings
of
the organization
and
another cognitive agent
buys
the hotel package
from
the cognitive agent
,
then there exists
a time position
such that
the time position
is
equal
to
the integer
day duration
(s) and
the other cognitive agent
is a
guest
at
the organization
holds
during
the time position
(=>
(
and
(
rents
?GUEST ?HOTEL ?ROOM ?TI)
(
attribute
?HOTEL
TravelerAccommodation
)
(
instance
?ROOM
HotelUnit
))
(
holdsDuring
?TI
(
guest
?GUEST ?HOTEL)))
Hotel.kif 69-75
If
an agent
rents
an object
to
another agent
during
a time interval
and
traveler accommodation
is an
attribute
of
the agent
and
the object
is an
instance
of
hotel unit
,
then
the other agent
is a
guest
at
the agent
holds
during
the time interval
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