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 14415-14415
停留
和
家
是
disjoint
关系
(
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 14418-14419
(
domain
stays
1
Human
)
Merge.kif 14416-14416
停留
的 1 数量 是
人类
的
instance
(
domain
stays
2
TemporaryResidence
)
Merge.kif 14417-14417
停留
的 2 数量 是
暂住
的
instance
(
instance
stays
BinaryPredicate
)
Merge.kif 14414-14414
停留
是
二元谓语
的
instance
(
subrelation
stays
inhabits
)
Merge.kif 14413-14413
停留
是
居住
的
subrelation
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
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后
那个 客体
是 对于
那个 人类
的
price
0
美国美元
(=>
(
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
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后
那个 过程
是 对于
那个 人类
的
price
0.0
美国美元
(=>
(
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
和
那个 人类
stays
在
暂住
和
那个 暂住
是
那个 施事体
的财产 的
element
和
那个 暂住
是
那个 暂住
OOM 的
instance
和
有点 物理
是
amenity
在
那个 暂住
OOM 和
有点 物理
是
客体
的
subclass
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
那个 有点 物理
的
instance
和
那个 另外 物理
是
located
在
那个 暂住
和
那个 施事体
允许
那个 人类
执行 有存在
实体
这样
那个 人类
是
那个 实体
的
agent
和
那个 另外 物理
是导致
那个 实体
的
instrument
或
那个 另外 物理
是
那个 实体
的
patient
或
那个 另外 物理
是
那个 实体
的
resource
的任务
(=>
(
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
去使用
有点 物理
和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 暂住
或
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 客体
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
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
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
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 20567-20577
如果
实体
是
IntensiveCareUnit
的
instance
和
另一个 实体
stays
在
那个 实体
在
时间位置
holdsDuring
,
然后 有存在
第三 实体
这样
那个 第三 实体
是
死亡
的
instance
和
那个 第三 实体
出现 的
time
finishes
了才到
那个 时间位置
的声明 has
可能性
的语气
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
和
机构
enacts
policy
那个 Policy
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是在
那个 机构
的
guest
和
那个 实体
stays
在
那个 另外 实体
和
那个 第三 实体
equal
那个 实体
stays
在
那个 另外 实体
出现 的
time
和 对所有
第四 实体
如果
那个 第四 实体
是
日
的
instance
和
那个 第四 实体
在
那个 第三 实体
时段内发生,
然后 有存在
第五 实体
这样
那个 第五 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第五 实体
的
patient
和
那个 第五 实体
在
那个 第四 实体
时段内发生
在
那个 第三 实体
holdsDuring
的声明 has
容易
的语气
(=>
(
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
和
机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是在
那个 机构
的
guest
和 不存在
第三 实体
这样
那个 第三 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
stays
在
那个 另外 实体
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
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
和
机构
enacts
policy
那个 Policy
和
旅客住宿
是
那个 机构
的
attribute
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是在
那个 机构
的
guest
和 有存在
第三 实体
这样
那个 第三 实体
是
RoomCleaningService
的
instance
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
stays
在
那个 另外 实体
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
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
如果
有点 固定人工制品
能
accommodate
大部分
整数
的人 和
实体
是
有点 固定人工制品
的
instance
和
那个 实体
是
施事体
的财产 的
element
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
一群人
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
member
计数 和
那个 第三 实体
是
lessThanOrEqualTo
那个 整数
和
那个 另外 实体
stays
在
那个 实体
的声明 has
可能性
的语气
(=>
(
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
,
然后 有存在
实体
这样
那个 实体
是
有点 HotelUnit
的
instance
和
那个 第三 Reservation
stays
在
那个 实体
在
那个 Reservation
和
那个 另外 Reservation
间的时段
holdsDuring
的声明 has
容易
的语气
(=>
(
attribute
?X
ChildrenSuite
)
(
hasPurpose
?X
(
exists
(?CHILD)
(
and
(
instance
?CHILD
HumanChild
)
(
stays
?CHILD ?X)))))
Hotel.kif 1029-1035
如果
ChildrenSuite
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
人类的孩子
的
instance
和
那个 实体
stays
在
那个 客体
(=>
(
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
,
然后 对所有
物理
如果
那个 物理
是
HotelRoom
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是 有存在
实体
这样
女
是
那个 实体
的
attribute
和
那个 实体
stays
在
那个 物理
(=>
(
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
,
然后 对所有
物理
如果
那个 物理
是
HotelRoom
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是 有存在
实体
这样
BusinessExecutive
是
那个 实体
的
attribute
和
那个 实体
是
人类
的
instance
和
那个 实体
stays
在
那个 物理
(=>
(
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
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
人类
的
instance
和
女
是
那个 实体
的
attribute
和
BusinessExecutive
是
那个 实体
的
attribute
和
那个 实体
stays
在
那个 客体
(=>
(
instance
?SVC
ExecutiveService
)
(
exists
(?HUMAN ?LEVEL ?ROOM)
(
and
(
serviceRecipient
?SVC ?HUMAN)
(
stays
?HUMAN ?ROOM)
(
located
?ROOM ?LEVEL)
(
attribute
?LEVEL
ExecutiveLevel
))))
Hotel.kif 2245-2252
如果
服务
是
ExecutiveService
的
instance
,
然后 有存在
人类
,
客体
, and 和
暂住
这样
那个 人类
在
那个 服务
中获得服务 和
那个 人类
stays
在
那个 暂住
和
那个 暂住
是
located
在
那个 客体
和
ExecutiveLevel
是
那个 客体
的
attribute
(=>
(
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
,
然后 有存在
人类
,
施事体
,, ,
暂住
,, ,
实体
,, ,
另一个 过程
,, ,
第三 过程
, and 和
第四 过程
这样
那个 施事体
是
那个 人类
的
customer
和
那个 人类
stays
在
那个 暂住
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
服装
的
instance
和
那个 第三 过程
是
获得
的
instance
和
那个 第三 过程
是
located
在
那个 暂住
和
那个 实体
是
那个 第三 过程
的
patient
和
那个 施事体
是
那个 第三 过程
的
agent
和
那个 另外 过程
是
LaundryService
的
instance
或
那个 另外 过程
是
DryCleaningService
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 实体
是
那个 另外 过程
的
patient
和
那个 第四 过程
是
DeliveryService
的
instance
和
那个 实体
是
那个 第四 过程
的
patient
和
那个 第四 过程
在
那个 暂住
结束 和
那个 第三 过程
出现 的
time
的开始%n在
那个 另外 过程
出现 的
time
的开始
before
发生 和
那个 另外 过程
出现 的
time
的开始%n在
那个 第四 过程
出现 的
time
的开始
before
发生
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