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
stays
Sigma KEE - stays
stays
appearance as argument number 1
(
disjointRelation
stays
home
)
Merge.kif 14393-14393
stays
e
home
sono
disgiunti
(
documentation
stays
ChineseLanguage
"这是
Human
和e
Human
的
TemporaryResidence
之间 的关系。")
chinese_format.kif 3377-3378
(
documentation
stays
EnglishLanguage
"The relation between a
Human
and a
TemporaryResidence
of the
Human
.")
Merge.kif 14396-14397
(
domain
stays
1
Human
)
Merge.kif 14394-14394
Il numero 1 argomenti di
stays
è un
istanza
di
Umano
(
domain
stays
2
TemporaryResidence
)
Merge.kif 14395-14395
Il numero 2 argomenti di
stays
è un
istanza
di
TemporaryResidence
(
instance
stays
BinaryPredicate
)
Merge.kif 14392-14392
stays
è un'
istanza
di
PredicatoBinario
(
subrelation
stays
inhabits
)
Merge.kif 14391-14391
stays
è una
sottorelazione
di
inhabits
appearance as argument number 2
(
format
ChineseLanguage
stays
"%1
stays
在 %2 ")
domainEnglishFormat.kif 4638-4638
(
format
ChineseTraditionalLanguage
stays
"%1
stays
在 %2 ")
domainEnglishFormat.kif 4637-4637
(
format
EnglishLanguage
stays
"%1
stays
at %2")
domainEnglishFormat.kif 4636-4636
(
termFormat
ChineseLanguage
stays
"停留")
domainEnglishFormat.kif 55206-55206
(
termFormat
ChineseTraditionalLanguage
stays
"停留")
domainEnglishFormat.kif 55205-55205
(
termFormat
EnglishLanguage
stays
"stays")
domainEnglishFormat.kif 55204-55204
antecedent
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
price
Oggetto
, 0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s and
Umano
(=>
(
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
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Processo
è
localizzato
in
TemporaryResidence
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
Processo
RICE
Unit�DiMisura
price
Oggetto
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
Processo
RICE
Unit�DiMisura
price
Processo
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
holdsDuring
?T
(
and
(
instance
?ICU
IntensiveCareUnit
)
(
stays
?H ?ICU)))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
finishes
(
WhenFn
?D) ?T)))
Possibility
))
Mid-level-ontology.kif 20568-20578
Entit�
è un'
istanza
di
IntensiveCareUnit
stays
Entit�
and
Entit�
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
il
tempo
di esistenza di
Entit�
finisce
es
PosizioneTemporale
ha il modello di forza di
Possibility
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
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
maxRoomCapacity
ManufattoStatico
and
NumeroIntero
Entit�
è un'
istanza
di
ManufattoStatico
%è un
elemento
di %2
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
memberCount
Entit�
and
Entit�
Entit�
è
minore
o uguale a
NumeroIntero
stays
Entit�
and
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
reservedRoom
HotelReservation
and
HotelUnit
reservationStart
HotelReservation
and
Reservation
reservationEnd
HotelReservation
and
Reservation
reservingEntity
HotelReservation
and
Reservation
l'affermazione
Entit�
Entit�
è un'
istanza
di
HotelUnit
stays
Reservation
and
Entit�
vales
durante
intervallo
tra
Reservation
e
Reservation
ha il modello di forza di
Likely
(=>
(
attribute
?X
ChildrenSuite
)
(
hasPurpose
?X
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
stays
?CHILD ?X)))))
Hotel.kif 1029-1035
attribute
Oggetto
and
ChildrenSuite
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
HumanChild
stays
Entit�
and
Oggetto
(=>
(
attribute
?X
ExclusiveFemaleLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
Female
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1243-1254
attribute
Oggetto
and
ExclusiveFemaleLevel
Entit�Concreta
Entit�Concreta
è un'
istanza
di
HotelRoom
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
Female
stays
Entit�
and
Entit�Concreta
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
attribute
Oggetto
and
ExecutiveLevel
Entit�Concreta
Entit�Concreta
è un'
istanza
di
HotelRoom
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
BusinessExecutive
Entit�
è un'
istanza
di
Umano
stays
Entit�
and
Entit�Concreta
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
attribute
Oggetto
and
FemaleExecutiveRoom
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
Female
attribute
Entit�
and
BusinessExecutive
stays
Entit�
and
Oggetto
(=>
(
instance
?SVC
ExecutiveService
)
(
exists
(?HUMAN ?LEVEL ?ROOM)
(
and
(
serviceRecipient
?SVC ?HUMAN)
(
stays
?HUMAN ?ROOM)
(
located
?ROOM ?LEVEL)
(
attribute
?LEVEL
ExecutiveLevel
))))
Hotel.kif 2245-2252
ServiceProcess
è un'
istanza
di
ExecutiveService
Umano
Oggetto
and
TemporaryResidence
serviceRecipient
ServiceProcess
and
Umano
stays
Umano
and
TemporaryResidence
TemporaryResidence
è
localizzato
in
Oggetto
attribute
Oggetto
and
ExecutiveLevel
(=>
(
instance
?SVC
ValetLaundryService
)
(
exists
(?CUST ?AGENT ?LOC ?CLOTHES ?LAUNDRY ?PICKUP ?DELIVERY)
(
and
(
customer
?CUST ?AGENT)
(
stays
?CUST ?LOC)
(
agent
?SVC ?AGENT)
(
instance
?CLOTHES
Clothing
)
(
instance
?PICKUP
Getting
)
(
located
?PICKUP ?LOC)
(
patient
?PICKUP ?CLOTHES)
(
agent
?PICKUP ?AGENT)
(
or
(
instance
?LAUNDRY
LaundryService
)
(
instance
?LAUNDRY
DryCleaningService
))
(
agent
?LAUNDRY ?AGENT)
(
patient
?LAUNDRY ?CLOTHES)
(
instance
?DELIVERY
DeliveryService
)
(
patient
?DELIVERY ?CLOTHES)
(
destination
?DELIVERY ?LOC)
(
before
(
BeginFn
(
WhenFn
?PICKUP))
(
BeginFn
(
WhenFn
?LAUNDRY)))
(
before
(
BeginFn
(
WhenFn
?LAUNDRY))
(
BeginFn
(
WhenFn
?DELIVERY))))))
Hotel.kif 1827-1848
Processo
è un'
istanza
di
ValetLaundryService
Umano
AutonomousAgent
,
TemporaryResidence
,
Entit�
,
Processo
,
Processo
and
Processo
customer
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
Vestito
Processo
è un'
istanza
di
Ottenere
Processo
è
localizzato
in
TemporaryResidence
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
LaundryService
Processo
è un'
istanza
di
DryCleaningService
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
DeliveryService
Entit�
è un
paziente
di
Processo
Processo
fine
s in
TemporaryResidence
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
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