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
Il numero 1 argomenti di
guest
è un
istanza
di
AgenteCognitivo
(
domain
guest
2
AutonomousAgent
)
Hotel.kif 67-67
Il numero 2 argomenti di
guest
è un
istanza
di
AutonomousAgent
(
instance
guest
BinaryPredicate
)
Hotel.kif 56-56
guest
è un'
istanza
di
PredicatoBinario
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
è una
sottorelazione
di
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
AgenteCognitivo
and
PuntoTemporale
guest
AgenteCognitivo
and
AgenteCognitivo
expects
AgenteCognitivo
and
Entit�
Entit�
Entit�
è un'
istanza
di
PuntoTemporale
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
CheckOutService
Entit�
è un
agente
di
AgenteCognitivo
l'
inizio
di il
tempo
di esistenza di
Entit�
succede%{s}
prima
di
Entit�
(=>
(
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
impiega
s
AgenteCognitivo
attribute
AutonomousAgent
and
TravelerAccommodation
attribute
AgenteCognitivo
and
TennisProfessional
guest
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Tennis
contestParticipant
Entit�
and
AgenteCognitivo
contestParticipant
Entit�
and
AgenteCognitivo
Entit�
è
localizzato
in
Entit�
AutonomousAgent
è
localizzato
in
Entit�
ha il modello di forza di
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
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
(
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
è un'
istanza
di
MealPlan
includedMeal
MealPlan
and
AttributoRelazionale
attribute
AutonomousAgent
and
TravelerAccommodation
guest
AgenteCognitivo
and
AutonomousAgent
buys
AgenteCognitivo
,
AutonomousAgent
and
MealPlan
Entit�
Entit�
attribute
Entit�
and
AttributoRelazionale
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
vales
durante
Entit�
vales
durante
il
tempo
di esistenza di
guest
AgenteCognitivo
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
è un'
istanza
di
DailyHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
l'affermazione
Entit�
Entit�
and
Entit�
guest
Entit�
and
Organizzazione
stays
Entit�
and
Entit�
Entit�
is
uguale
a il
tempo
di esistenza di
stays
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
Giorno
Entit�
has luogo
durante
Entit�
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
Entit�
has luogo
durante
Entit�
vales
durante
Entit�
ha il modello di forza di
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
è un'
istanza
di
NoHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
attribute
Organizzazione
and
TravelerAccommodation
l'affermazione
Entit�
Entit�
guest
Entit�
and
Organizzazione
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
vales
durante
il
tempo
di esistenza di
stays
Entit�
and
Entit�
ha il modello di forza di
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
è un'
istanza
di
WithHousekeepingPolicy
policyOwner
Organizzazione
and
Policy
attribute
Organizzazione
and
TravelerAccommodation
l'affermazione
Entit�
Entit�
guest
Entit�
and
Organizzazione
Entit�
Entit�
è un'
istanza
di
RoomCleaningService
Entit�
è un
paziente
di
Entit�
vales
durante
il
tempo
di esistenza di
stays
Entit�
and
Entit�
ha il modello di forza di
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
è un'
istanza
di
MealPlan
includedMeal
MealPlan
and
AttributoRelazionale
attribute
AutonomousAgent
and
TravelerAccommodation
guest
AgenteCognitivo
and
AutonomousAgent
buys
AgenteCognitivo
,
AutonomousAgent
and
MealPlan
Entit�
Entit�
attribute
Entit�
and
AttributoRelazionale
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
vales
durante
Entit�
vales
durante
il
tempo
di esistenza di
guest
AgenteCognitivo
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
AgenteCognitivo
and
HotelPackage
HotelPackage
è un'
istanza
di
HotelPackage
accommodationProvider
HotelPackage
and
Organizzazione
roomStay
HotelPackage
,
NumeroIntero
and
HotelUnit
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di %2
buys
AgenteCognitivo
,
AgenteCognitivo
and
HotelPackage
PosizioneTemporale
PosizioneTemporale
is
uguale
a
NumeroIntero
DayDuration
(s
guest
AgenteCognitivo
and
Organizzazione
vales
durante
PosizioneTemporale
(=>
(
and
(
rents
?GUEST ?HOTEL ?ROOM ?TI)
(
attribute
?HOTEL
TravelerAccommodation
)
(
instance
?ROOM
HotelUnit
))
(
holdsDuring
?TI
(
guest
?GUEST ?HOTEL)))
Hotel.kif 69-75
rents
AutonomousAgent
,
AutonomousAgent
,
Oggetto
and
IntervalloTemporale
attribute
AutonomousAgent
and
TravelerAccommodation
Oggetto
è un'
istanza
di
HotelUnit
guest
AutonomousAgent
and
AutonomousAgent
vales
durante
IntervalloTemporale
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