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
sao
disjuntos
(
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
O argumento numero 1 de
stays
e' uma
instancia
de
Humano
(
domain
stays
2
TemporaryResidence
)
Merge.kif 14395-14395
O argumento numero 2 de
stays
e' uma
instancia
de
TemporaryResidence
(
instance
stays
BinaryPredicate
)
Merge.kif 14392-14392
stays
e' uma
instancia
de
Predicado Binario
(
subrelation
stays
inhabits
)
Merge.kif 14391-14391
stays
e' uma
sub
-relacao de
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
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
price
Objeto
, 0
UnitedStatesDollar
(s) and
Humano
(=>
(
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
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s) and
Humano
(=>
(
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
(
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
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Processo
e'
situado
em
TemporaryResidence
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
Processo
RICE
Unidade de Medida
price
Objeto
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 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
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
Processo
RICE
Unidade de Medida
price
Processo
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 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
Entidade
e' uma
instancia
de
IntensiveCareUnit
stays
Entidade
and
Entidade
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
tempo
de existencia de
Entidade
termina
em
Posicao Temporal
tem a
forca
modal
de
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
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
(
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
Artefato Estacionario
and
Numero Inteiro
Entidade
e' uma
instancia
de
Artefato Estacionario
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
stays
Entidade
and
Entidade
tem a
forca
modal
de
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
o argumento
Entidade
Entidade
e' uma
instancia
de
HotelUnit
stays
Reservation
and
Entidade
vale
durante o
intervalo
entre
Reservation
e
Reservation
tem a
forca
modal
de
Likely
(=>
(
attribute
?X
ChildrenSuite
)
(
hasPurpose
?X
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
stays
?CHILD ?X)))))
Hotel.kif 1029-1035
ChildrenSuite
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
HumanChild
stays
Entidade
and
Objeto
(=>
(
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
ExclusiveFemaleLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
Female
e' um
atributo
de
Entidade
stays
Entidade
and
Fisico
(=>
(
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
ExecutiveLevel
e' um
atributo
de
Objeto
Fisico
Fisico
e' uma
instancia
de
HotelRoom
Fisico
e'
situado
em
Objeto
Fisico
tem por
fim
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
Humano
stays
Entidade
and
Fisico
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
FemaleExecutiveRoom
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Humano
Female
e' um
atributo
de
Entidade
BusinessExecutive
e' um
atributo
de
Entidade
stays
Entidade
and
Objeto
(=>
(
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
e' uma
instancia
de
ExecutiveService
Humano
Objeto
and
TemporaryResidence
serviceRecipient
ServiceProcess
and
Humano
stays
Humano
and
TemporaryResidence
TemporaryResidence
e'
situado
em
Objeto
ExecutiveLevel
e' um
atributo
de
Objeto
(=>
(
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
e' uma
instancia
de
ValetLaundryService
Humano
AutonomousAgent
,
TemporaryResidence
,
Entidade
,
Processo
,
Processo
and
Processo
customer
Humano
and
AutonomousAgent
stays
Humano
and
TemporaryResidence
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Roupa
Processo
e' uma
instancia
de
Obter
Processo
e'
situado
em
TemporaryResidence
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
LaundryService
Processo
e' uma
instancia
de
DryCleaningService
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
DeliveryService
Entidade
e' um
patient
de
Processo
Processo
termina
em
TemporaryResidence
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
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