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
O argumento numero 1 de
guest
e' uma
instancia
de
Agente Cognitivo
(
domain
guest
2
AutonomousAgent
)
Hotel.kif 67-67
O argumento numero 2 de
guest
e' uma
instancia
de
AutonomousAgent
(
instance
guest
BinaryPredicate
)
Hotel.kif 56-56
guest
e' uma
instancia
de
Predicado Binario
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
e' uma
sub
-relacao de
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
checkOutTime
Agente Cognitivo
and
Ponto no tempo
guest
Agente Cognitivo
and
Agente Cognitivo
expects
Agente Cognitivo
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
CheckOutService
Entidade
e' um
agente
de
Agente Cognitivo
o
comeco
de
tempo
de existencia de
Entidade
comeca
antes
de
Entidade
(=>
(
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
emprega
Agente Cognitivo
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
TennisProfessional
e' um
atributo
de
Agente Cognitivo
guest
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Tennis
contestParticipant
Entidade
and
Agente Cognitivo
contestParticipant
Entidade
and
Agente Cognitivo
Entidade
e'
situado
em
Entidade
AutonomousAgent
e'
situado
em
Entidade
tem a
forca
modal
de
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
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
(
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
e' uma
instancia
de
MealPlan
includedMeal
MealPlan
and
Atributo Relacional
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
guest
Agente Cognitivo
and
AutonomousAgent
buys
Agente Cognitivo
,
AutonomousAgent
and
MealPlan
Entidade
Entidade
Atributo Relacional
e' um
atributo
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
vale
durante
tempo
de existencia de
guest
Agente Cognitivo
and
AutonomousAgent
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
e' uma
instancia
de
DailyHousekeepingPolicy
policyOwner
Organizacao
and
Policy
o argumento
Entidade
Entidade
and
Entidade
guest
Entidade
and
Organizacao
stays
Entidade
and
Entidade
Entidade
e'
igual
a
tempo
de existencia de
stays
Entidade
and
Entidade
Entidade
Entidade
e' uma
instancia
de
Dia
Entidade
acontece
durante
Entidade
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
Entidade
acontece
durante
Entidade
vale
durante
Entidade
tem a
forca
modal
de
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
Policy
e' uma
instancia
de
NoHousekeepingPolicy
policyOwner
Organizacao
and
Policy
TravelerAccommodation
e' um
atributo
de
Organizacao
o argumento
Entidade
Entidade
guest
Entidade
and
Organizacao
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
vale
durante
tempo
de existencia de
stays
Entidade
and
Entidade
tem a
forca
modal
de
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
Policy
e' uma
instancia
de
WithHousekeepingPolicy
policyOwner
Organizacao
and
Policy
TravelerAccommodation
e' um
atributo
de
Organizacao
o argumento
Entidade
Entidade
guest
Entidade
and
Organizacao
Entidade
Entidade
e' uma
instancia
de
RoomCleaningService
Entidade
e' um
patient
de
Entidade
vale
durante
tempo
de existencia de
stays
Entidade
and
Entidade
tem a
forca
modal
de
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
offers
AutonomousAgent
and
MealPlan
MealPlan
e' uma
instancia
de
MealPlan
includedMeal
MealPlan
and
Atributo Relacional
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
guest
Agente Cognitivo
and
AutonomousAgent
buys
Agente Cognitivo
,
AutonomousAgent
and
MealPlan
Entidade
Entidade
Atributo Relacional
e' um
atributo
de
Entidade
Entidade
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
vale
durante
tempo
de existencia de
guest
Agente Cognitivo
and
AutonomousAgent
(=>
(
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
Agente Cognitivo
and
HotelPackage
HotelPackage
e' uma
instancia
de
HotelPackage
accommodationProvider
HotelPackage
and
Organizacao
roomStay
HotelPackage
,
Numero Inteiro
and
HotelUnit
Entidade
e' uma
instancia
de
HotelUnit
Entidade
e' um
elemento
de
propriedade
de
Organizacao
buys
Agente Cognitivo
,
Agente Cognitivo
and
HotelPackage
Posicao Temporal
Posicao Temporal
e'
igual
a
Numero Inteiro
DayDuration
(s)
guest
Agente Cognitivo
and
Organizacao
vale
durante
Posicao Temporal
(=>
(
and
(
rents
?GUEST ?HOTEL ?ROOM ?TI)
(
attribute
?HOTEL
TravelerAccommodation
)
(
instance
?ROOM
HotelUnit
))
(
holdsDuring
?TI
(
guest
?GUEST ?HOTEL)))
Hotel.kif 69-75
rents
AutonomousAgent
,
AutonomousAgent
,
Objeto
and
Intervalo Temporal
TravelerAccommodation
e' um
atributo
de
AutonomousAgent
Objeto
e' uma
instancia
de
HotelUnit
guest
AutonomousAgent
and
AutonomousAgent
vale
durante
Intervalo Temporal
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