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
Physical
Sigma KEE - fulfillingEntity
fulfillingEntity
appearance as argument number 1
(
documentation
fulfillingEntity
EnglishLanguage
"(
fulfillingEntity
?ENTITY ?RESERVE) means that ?ENTITY is the
AutonomousAgent
who will execute the agreement")
Dining.kif 683-685
(
domain
fulfillingEntity
1
AutonomousAgent
)
Dining.kif 686-686
fulfillingEntity
的 1 数量 是
施事体
的
instance
(
domain
fulfillingEntity
2
Reservation
)
Dining.kif 687-687
fulfillingEntity
的 2 数量 是
Reservation
的
instance
(
instance
fulfillingEntity
BinaryPredicate
)
Dining.kif 682-682
fulfillingEntity
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
fulfillingEntity
"%1 fulfills %2 ")
domainEnglishFormat.kif 3502-3502
(
format
ChineseTraditionalLanguage
fulfillingEntity
"%1 fulfills %2 ")
domainEnglishFormat.kif 3501-3501
(
format
EnglishLanguage
fulfillingEntity
"%1 fulfills %2")
domainEnglishFormat.kif 3500-3500
(
termFormat
EnglishLanguage
fulfillingEntity
"fulfilling entity")
domainEnglishFormat.kif 65836-65836
antecedent
(=>
(
and
(
fulfillingEntity
?AGENT ?RESERVE)
(
instance
?RESERVE
HotelReservation
))
(
attribute
?AGENT
TravelerAccommodation
))
Hotel.kif 2847-2851
如果
施事体
fulfills
Reservation
和
那个 Reservation
是
HotelReservation
的
instance
,
然后
旅客住宿
是
那个 施事体
的
attribute
(=>
(
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
(
numberAdultOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
HumanAdult
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2883-2892
如果
HotelReservation
也许
have
整数
成人 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
这样
那个 群体
是
一群人
的
instance
和
人类成人
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
and
(
numberChildOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?SUBCOL)
(
and
(
instance
?COL
GroupOfPeople
)
(
subCollection
?SUBCOL ?COL)
(
instance
?SUBCOL
GroupOfPeople
)
(
memberType
?SUBCOL
HumanChild
)
(
memberCount
?SUBCOL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2903-2914
如果
HotelReservation
也许
have
整数
孩童 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
和
另一个 群体
这样
那个 群体
是
一群人
的
instance
和
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
一群人
的
instance
和
人类的孩子
是
那个 另外 群体
的
member
类别 和
那个 整数
是
那个 另外 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
如果
HotelReservation
也许
have
整数
居住者 和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
这样
那个 群体
是
一群人
的
instance
和
人类
是
那个 群体
的
member
类别 和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
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
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
如果
HotelReservation
是对于
整数
seniors
和
施事体
fulfills
那个 HotelReservation
,
然后 有存在
群体
和
实数
这样
那个 群体
是
一群人
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
人类成人
的
instance
和
那个 物理
的
age
是
那个 实数
年持续时间
和
那个 实数
是
greaterThanOrEqualTo
60
和
那个 整数
是
那个 群体
的
member
计数 和
那个 群体
是个
potential
customer
对于
那个 施事体
(=>
(
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
容易
的语气
(=>
(
fulfillingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
destination
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 689-695
如果
施事体
fulfills
Reservation
,
然后 有存在
过程
这样
那个 过程
是
Reserving
的
instance
和
那个 过程
在
那个 施事体
结束 和
那个 Reservation
是
那个 过程
的
result
consequent
(=>
(
instance
?R
DiningReservation
)
(
exists
(?AGENT)
(
and
(
fulfillingEntity
?AGENT ?R)
(
instance
?AGENT
Restaurant
))))
Dining.kif 749-754
如果
Reservation
是
DiningReservation
的
instance
,
然后 有存在
施事体
这样
那个 施事体
fulfills
那个 Reservation
和
那个 施事体
是
餐厅
的
instance
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