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
includedMeal
Sigma KEE - includedMeal
includedMeal
appearance as argument number 1
(
documentation
includedMeal
EnglishLanguage
"(
includedMeal
?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of
Meal
is available at ?TIME according to ?PLAN")
Hotel.kif 1547-1548
(
domain
includedMeal
1
MealPlan
)
Hotel.kif 1551-1551
includedMeal
的 1 数量 是
MealPlan
的
instance
(
domain
includedMeal
2
RelationalAttribute
)
Hotel.kif 1552-1552
includedMeal
的 2 数量 是
关联属性
的
instance
(
instance
includedMeal
BinaryPredicate
)
Hotel.kif 1546-1546
includedMeal
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
includedMeal
"类别 %2 的 meals 是包含在 %1 ")
domainEnglishFormat.kif 3686-3686
(
format
ChineseTraditionalLanguage
includedMeal
"類別 %2 的 meals 是包含在 %1 ")
domainEnglishFormat.kif 3685-3685
(
format
EnglishLanguage
includedMeal
"meals of type %2 are includes in %1")
domainEnglishFormat.kif 3684-3684
(
termFormat
EnglishLanguage
includedMeal
"included meal")
Hotel.kif 1549-1549
antecedent
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
如果
施事体
offers
拍卖样品在
MealPlan
和
那个 MealPlan
是
MealPlan
的
instance
和 类别
关联属性
的
meals
是包含在
那个 MealPlan
和
旅客住宿
是
那个 施事体
的
attribute
和
有认知的主事
是在
那个 施事体
的
guest
和
那个 有认知的主事
buys
那个 MealPlan
从
那个 施事体
,
然后 有存在
实体
这样 有存在
另一个 实体
这样
那个 关联属性
是
那个 另外 实体
的
attribute
和
那个 另外 实体
的 目的 是 有存在
第三 实体
这样
那个 第三 实体
是
进食
的
instance
和
那个 有认知的主事
是
那个 第三 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
patient
在
那个 实体
holdsDuring
在
那个 有认知的主事
是在
那个 施事体
的
guest
出现 的
time
holdsDuring
consequent
(=>
(
instance
?X
FullBoard
)
(
and
(
includedMeal
?X
Breakfast
)
(
includedMeal
?X
Lunch
)
(
includedMeal
?X
Dinner
)))
Hotel.kif 1585-1590
如果
MealPlan
是
FullBoard
的
instance
,
然后 类别
Breakfast
的
meals
是包含在
那个 MealPlan
和 类别
Lunch
的
meals
是包含在
那个 MealPlan
和 类别
Dinner
的
meals
是包含在
那个 MealPlan
(=>
(
instance
?X
HalfBoard
)
(
and
(
includedMeal
?X
Breakfast
)
(
includedMeal
?X
Dinner
)))
Hotel.kif 1597-1601
如果
MealPlan
是
HalfBoard
的
instance
,
然后 类别
Breakfast
的
meals
是包含在
那个 MealPlan
和 类别
Dinner
的
meals
是包含在
那个 MealPlan
(=>
(
instance
?X
MealPlanBreakfast
)
(
includedMeal
?X
Breakfast
))
Hotel.kif 1628-1630
如果
MealPlan
是
MealPlanBreakfast
的
instance
,
然后 类别
Breakfast
的
meals
是包含在
那个 MealPlan
(=>
(
instance
?X
MealPlanContinental
)
(
includedMeal
?X
ContinentalBreakfast
))
Hotel.kif 1619-1621
如果
MealPlan
是
MealPlanContinental
的
instance
,
然后 类别
ContinentalBreakfast
的
meals
是包含在
那个 MealPlan
(=>
(
instance
?X
MealPlanEuropean
)
(
not
(
exists
(?ATTR)
(
includedMeal
?X ?ATTR))))
Hotel.kif 1608-1612
如果
MealPlan
是
MealPlanEuropean
的
instance
,
然后 不存在
关联属性
这样 类别
那个 关联属性
的
meals
是包含在
那个 MealPlan
(=>
(
instance
?X
MealPlanModifiedAmerican
)
(
and
(
includedMeal
?X
Breakfast
)
(
or
(
includedMeal
?X
Dinner
)
(
includedMeal
?X
Lunch
))))
Hotel.kif 1638-1644
如果
MealPlan
是
MealPlanModifiedAmerican
的
instance
,
然后 类别
Breakfast
的
meals
是包含在
那个 MealPlan
和 类别
Dinner
的
meals
是包含在
那个 MealPlan
或 类别
Lunch
的
meals
是包含在
那个 MealPlan
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