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
と
home
は
disjoint
では %n
(
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
stays
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
stays
2
TemporaryResidence
)
Merge.kif 14395-14395
stays
の数値 2 引数は
TemporaryResidence
の
instance
では %n
(
instance
stays
BinaryPredicate
)
Merge.kif 14392-14392
stays
は
2進述語
の
instance
では %n
(
subrelation
stays
inhabits
)
Merge.kif 14391-14391
stays
は
inhabits
の
subrelation
では %n
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
物理
物理
は
オブジェクト
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
TemporaryResidence
に
located
して %n
工程
は
工程
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
resource
では %n
price
オブジェクト
, 0 の
UnitedStatesDollar
(s) and
人[人間]
(=>
(
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
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
price
工程
, 0.0 の
UnitedStatesDollar
(s) and
人[人間]
(=>
(
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
人[人間]
and
AutonomousAgent
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
TemporaryResidence
は
TemporaryResidence
OOM の
instance
では %n
roomAmenity
TemporaryResidence
OOM and
物理
物理
は
オブジェクト
の
subclass
では %n
物理
物理
は
物理
の
instance
では %n
物理
は
TemporaryResidence
に
located
して %n
AutonomousAgent
は
人[人間]
が
エンティティー
人[人間]
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の
instrument
では %n
物理
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
resource
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
物理
物理
は
オブジェクト
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
TemporaryResidence
に
located
して %n
工程
は
工程
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
工程
は
TemporaryResidence
に
located
して %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
resource
では %n
工程
RICE
測定単位
price
オブジェクト
,
工程
RICE の
測定単位
(s) and
人[人間]
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
RICE は 0 より
greater
では %n
(=>
(
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
物理
物理
は
工程
の
subclass
では %n
TemporaryResidence
は
HotelUnit
の
instance
では %n
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
人[人間]
は
工程
の
patient
では %n
工程
は
物理
の
instance
では %n
工程
は
物理
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
TemporaryResidence
に
located
して %n
工程
RICE
測定単位
price
工程
,
工程
RICE の
測定単位
(s) and
人[人間]
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
RICE は 0 より
greater
では %n
(=>
(
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
エンティティー
は
IntensiveCareUnit
の
instance
では %n
stays
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
の
time
の existence は
時間位置
を
finish
es %n{ない} には
Possibility
の
modal
force
が ある
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
は
DailyHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
ステートメント
エンティティー
エンティティー
and
エンティティー
guest
エンティティー
and
組織
stays
エンティティー
and
エンティティー
エンティティー
は
stays
エンティティー
and
エンティティー
の
time
の existence と
equal
では %n
エンティティー
エンティティー
は
日
の
instance
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
during
に takes %n{ない}
は
エンティティー
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
は
NoHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
は
WithHousekeepingPolicy
の
instance
では %n
policyOwner
組織
and
Policy
TravelerAccommodation
は
組織
の
attribute
では %n
ステートメント
エンティティー
エンティティー
guest
エンティティー
and
組織
エンティティー
エンティティー
は
RoomCleaningService
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n は
stays
エンティティー
and
エンティティー
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
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
固定アーチファクト
and
整数
エンティティー
は
固定アーチファクト
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
stays
エンティティー
and
エンティティー
には
Possibility
の
modal
force
が ある
(=>
(
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
ステートメント
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
stays
Reservation
and
エンティティー
は
Reservation
と
Reservation
の
interval
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
attribute
?X
ChildrenSuite
)
(
hasPurpose
?X
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
stays
?CHILD ?X)))))
Hotel.kif 1029-1035
ChildrenSuite
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
は
HumanChild
の
instance
では %n
stays
エンティティー
and
オブジェクト
の 目的 %n{ない}
(=>
(
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
は
オブジェクト
の
attribute
では %n
物理
物理
は
HotelRoom
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
エンティティー
Female
は
エンティティー
の
attribute
では %n
stays
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
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
は
オブジェクト
の
attribute
では %n
物理
物理
は
HotelRoom
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
エンティティー
BusinessExecutive
は
エンティティー
の
attribute
では %n
エンティティー
は
人[人間]
の
instance
では %n
stays
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
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
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
Female
は
エンティティー
の
attribute
では %n
BusinessExecutive
は
エンティティー
の
attribute
では %n
stays
エンティティー
and
オブジェクト
の 目的 %n{ない}
(=>
(
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
は
ExecutiveService
の
instance
では %n
人[人間]
オブジェクト
and
TemporaryResidence
人[人間]
は
ServiceProcess
の間サービスを receives %n{ない}
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
オブジェクト
に
located
して %n
ExecutiveLevel
は
オブジェクト
の
attribute
では %n
(=>
(
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
工程
は
ValetLaundryService
の
instance
では %n
人[人間]
AutonomousAgent
,
TemporaryResidence
,
エンティティー
,
工程
,
工程
and
工程
customer
人[人間]
and
AutonomousAgent
stays
人[人間]
and
TemporaryResidence
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
衣類
の
instance
では %n
工程
は
取得
の
instance
では %n
工程
は
TemporaryResidence
に
located
して %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
LaundryService
の
instance
では %n
工程
は
DryCleaningService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
DeliveryService
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
TemporaryResidence
に
end
s %n{ない}
工程
の
time
の existence の
beginning
は
工程
の
time
の existence の
beginning
の
before
に happens %n{ない}
工程
の
time
の existence の
beginning
は
工程
の
time
の existence の
beginning
の
before
に happens %n{ない}
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