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
reservingEntity
Sigma KEE - reservingEntity
reservingEntity
appearance as argument number 1
(
documentation
reservingEntity
EnglishLanguage
"(
reservingEntity
?ENTITY ?RESERVE) means that ?ENTITY is the
AutonomousAgent
reserving a particular resource indicated by ?RESERVE")
Dining.kif 653-655
(
domain
reservingEntity
1
AutonomousAgent
)
Dining.kif 656-656
reservingEntity
的 1 数量 是
施事体
的
instance
(
domain
reservingEntity
2
Reservation
)
Dining.kif 657-657
reservingEntity
的 2 数量 是
Reservation
的
instance
(
instance
reservingEntity
BinaryPredicate
)
Dining.kif 652-652
reservingEntity
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
reservingEntity
"%1 reserves %2 ")
domainEnglishFormat.kif 4418-4418
(
format
ChineseTraditionalLanguage
reservingEntity
"%1 reserves %2 ")
domainEnglishFormat.kif 4417-4417
(
format
EnglishLanguage
reservingEntity
"%1 reserves %2")
domainEnglishFormat.kif 4416-4416
(
termFormat
EnglishLanguage
reservingEntity
"reserving entity")
domainEnglishFormat.kif 65926-65926
antecedent
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
如果
施事体
是
施事体
的
instance
和
有认知的主事
是个
potential
customer
对于
那个 施事体
和
实体
是
Reserving
的
instance
和
那个 实体
在
那个 施事体
结束 的声明 has
必要性
的语气 和 如果
那个 施事体
是
那个 有认知的主事
的
customer
是正确, 那 有存在
那个 实体
ES1 这样
那个 实体
ES1 是
Reservation
的
instance
和
那个 有认知的主事
reserves
那个 实体
ES1 和
那个 施事体
fulfills
那个 实体
ES1 的机率就 是
实数
和 如果
那个 施事体
是
那个 有认知的主事
的
customer
是正确, 那 不存在
那个 实体
ES2 这样
那个 实体
ES2 是
Reservation
的
instance
和
那个 有认知的主事
reserves
那个 实体
ES2 和
那个 施事体
fulfills
那个 实体
ES2 的机率就 是
另一个 实数
,
然后
那个 另外 实数
是
lessThan
那个 实数
(=>
(
and
(
numberOfCustomers
?NUM ?RESERVE)
(
fulfillingEntity
?AGENT ?RESERVE)
(
reservingEntity
?CUST ?RESERVE))
(
exists
(?GRP)
(
and
(
potentialCustomer
?GRP ?AGENT)
(
instance
?GRP
GroupOfPeople
)
(
member
?CUST ?GRP)
(
memberCount
?GRP ?NUM))))
Dining.kif 732-742
如果
Reservation
是对于
正整数
customers
和
施事体
fulfills
那个 Reservation
和
另一个 施事体
reserves
那个 Reservation
,
然后 有存在
群体
这样
那个 群体
是个
potential
customer
对于
那个 施事体
和
那个 群体
是
一群人
的
instance
和
那个 另外 施事体
是
那个 群体
的
member
和
那个 正整数
是
那个 群体
的
member
计数
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
如果
Reservation
starts
在
时点
和
那个 Reservation
ends
在
另一个 时点
和
施事体
reserves
那个 Reservation
和
另一个 施事体
fulfills
那个 Reservation
,
然后 有存在
实体
这样
那个 实体
是
有意图过程
的
instance
和
那个 另外 施事体
是
那个 实体
的
agent
和
那个 实体
在
那个 施事体
结束 在
那个 时点
和
那个 另外 时点
间的时段
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
如果
Reservation
是 对于
命题
的
reservation
和
那个 Reservation
reserves
另一个 Reservation
,
然后 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 另外 Reservation
经历了
那个 实体
的声明 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
容易
的语气
(=>
(
reservingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
agent
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 659-665
如果
施事体
reserves
Reservation
,
然后 有存在
过程
这样
那个 过程
是
Reserving
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 Reservation
是
那个 过程
的
result
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