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
不相交的關係
停留
and
家
(
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
域
停留
, 1 and
Human
(
domain
stays
2
TemporaryResidence
)
Merge.kif 14395-14395
域
停留
, 2 and
暫住
(
instance
stays
BinaryPredicate
)
Merge.kif 14392-14392
例
停留
and
BinaryPredicate
(
subrelation
stays
inhabits
)
Merge.kif 14391-14391
子關係
停留
and
棲息
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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Object
是 對於
Human
的
price
測量
0 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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Human
的
price
測量
0.0 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
Human
是在
AutonomousAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
AutonomousAgent
and
Human
(=>
(
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
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
位於
Process
and
暫住
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
RICE
UnitOfMeasure
Object
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 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
HotelUnit
的 承租人 能
pay
去使用
Physical
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
RICE
UnitOfMeasure
Process
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 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
持有期間
TimePosition
and
例
entity
and
IntensiveCareUnit
entity
stays
在
entity
模態屬性
entity
例
entity
and
Death
飾面
何時
entity
and
TimePosition
and
可能性
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
and
DailyHousekeepingPolicy
Organization
enacts
policy
Policy
模態屬性
entity
entity
and
entity
entity
是在
Organization
的
guest
entity
stays
在
entity
等於
entity
and
何時
entity
stays
在
entity
持有期間
entity
and
entity
例
entity
and
Day
期間
entity
and
entity
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
期間
entity
and
entity
and
容易
(=>
(
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
and
NoHousekeepingPolicy
Organization
enacts
policy
Policy
attribute
Organization
and
旅客住宿
模態屬性
entity
entity
entity
是在
Organization
的
guest
持有期間
何時
entity
stays
在
entity
and
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
and
容易
(=>
(
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
and
WithHousekeepingPolicy
Organization
enacts
policy
Policy
attribute
Organization
and
旅客住宿
模態屬性
entity
entity
entity
是在
Organization
的
guest
持有期間
何時
entity
stays
在
entity
and
entity
例
entity
and
RoomCleaningService
患者
entity
and
entity
and
容易
(=>
(
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
StationaryArtifact
能
accommodate
大部分
Integer
的人
例
Entity
and
StationaryArtifact
元件
Entity
and
屬性
AutonomousAgent
模態屬性
entity
entity
例
entity
and
一群人
entity
是
entity
的
member
計數
小於或等於
entity
and
Integer
entity
stays
在
Entity
and
可能性
(=>
(
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
HotelReservation
是對於
HotelUnit
的
reservation
Reservation
starts
在
HotelReservation
Reservation
ends
在
HotelReservation
HotelReservation
reserves
Reservation
模態屬性
持有期間
時間間隔
Reservation
and
Reservation
and
entity
例
entity
and
HotelUnit
Reservation
stays
在
entity
and
容易
(=>
(
attribute
?X
ChildrenSuite
)
(
hasPurpose
?X
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
stays
?CHILD ?X)))))
Hotel.kif 1029-1035
attribute
Object
and
ChildrenSuite
有目的
Object
and
entity
例
entity
and
人類的孩子
entity
stays
在
Object
(=>
(
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
Object
and
ExclusiveFemaleLevel
Physical
例
Physical
and
HotelRoom
位於
Physical
and
Object
有目的
Physical
and
entity
attribute
entity
and
女
entity
stays
在
Physical
(=>
(
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
Object
and
ExecutiveLevel
Physical
例
Physical
and
HotelRoom
位於
Physical
and
Object
有目的
Physical
and
entity
attribute
entity
and
BusinessExecutive
例
entity
and
Human
entity
stays
在
Physical
(=>
(
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
Object
and
FemaleExecutiveRoom
有目的
Object
and
entity
例
entity
and
Human
attribute
entity
and
女
attribute
entity
and
BusinessExecutive
entity
stays
在
Object
(=>
(
instance
?SVC
ExecutiveService
)
(
exists
(?HUMAN ?LEVEL ?ROOM)
(
and
(
serviceRecipient
?SVC ?HUMAN)
(
stays
?HUMAN ?ROOM)
(
located
?ROOM ?LEVEL)
(
attribute
?LEVEL
ExecutiveLevel
))))
Hotel.kif 2245-2252
例
服務
and
ExecutiveService
Human
Object
and
暫住
服務接收者
服務
and
Human
Human
stays
在
暫住
位於
暫住
and
Object
attribute
Object
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
例
Process
and
ValetLaundryService
Human
AutonomousAgent
,
暫住
,
Entity
,
Process
,
Process
and
Process
AutonomousAgent
是
Human
的
customer
Human
stays
在
暫住
agent
Process
and
AutonomousAgent
例
Entity
and
Clothing
例
Process
and
Getting
位於
Process
and
暫住
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
例
Process
and
LaundryService
例
Process
and
DryCleaningService
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Process
and
DeliveryService
患者
Process
and
Entity
目的地
Process
and
暫住
之前
開始
何時
Process
and
開始
何時
Process
之前
開始
何時
Process
and
開始
何時
Process
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