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
The number 1 argument of
included meal
is an
instance
of
meal plan
(
domain
includedMeal
2
RelationalAttribute
)
Hotel.kif 1552-1552
The number 2 argument of
included meal
is an
instance
of
relational attribute
(
instance
includedMeal
BinaryPredicate
)
Hotel.kif 1546-1546
included meal
is an
instance
of
binary predicate
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
If
an agent
offers
items for sale in
a meal plan
and
the meal plan
is an
instance
of
meal plan
and
meals
of type
a relational attribute
are includes in
the meal plan
and
traveler accommodation
is an
attribute
of
the agent
and
a cognitive agent
is a
guest
at
the agent
and
the cognitive agent
buys
the meal plan
from
the agent
,
then there exists
an entity
such that there exists
another entity
such that
the relational attribute
is an
attribute
of
the other entity
and
the other entity
has the purpose there exists
a third entity
such that
the third entity
is an
instance
of
eating
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
holds
during
the entity
holds
during
the
time
of existence of
the cognitive agent
is a
guest
at
the agent
consequent
(=>
(
instance
?X
FullBoard
)
(
and
(
includedMeal
?X
Breakfast
)
(
includedMeal
?X
Lunch
)
(
includedMeal
?X
Dinner
)))
Hotel.kif 1585-1590
If
a meal plan
is an
instance
of
full board
,
then
meals
of type
breakfast
are includes in
the meal plan
and
meals
of type
lunch
are includes in
the meal plan
and
meals
of type
dinner
are includes in
the meal plan
(=>
(
instance
?X
HalfBoard
)
(
and
(
includedMeal
?X
Breakfast
)
(
includedMeal
?X
Dinner
)))
Hotel.kif 1597-1601
If
a meal plan
is an
instance
of
half board
,
then
meals
of type
breakfast
are includes in
the meal plan
and
meals
of type
dinner
are includes in
the meal plan
(=>
(
instance
?X
MealPlanBreakfast
)
(
includedMeal
?X
Breakfast
))
Hotel.kif 1628-1630
If
a meal plan
is an
instance
of
modified american meal plan
,
then
meals
of type
breakfast
are includes in
the meal plan
(=>
(
instance
?X
MealPlanContinental
)
(
includedMeal
?X
ContinentalBreakfast
))
Hotel.kif 1619-1621
If
a meal plan
is an
instance
of
continental meal plan
,
then
meals
of type
continental breakfast
are includes in
the meal plan
(=>
(
instance
?X
MealPlanEuropean
)
(
not
(
exists
(?ATTR)
(
includedMeal
?X ?ATTR))))
Hotel.kif 1608-1612
If
a meal plan
is an
instance
of
european meal plan
,
then there doesn't exist
a relational attribute
such that
meals
of type
the relational attribute
are includes in
the meal plan
(=>
(
instance
?X
MealPlanModifiedAmerican
)
(
and
(
includedMeal
?X
Breakfast
)
(
or
(
includedMeal
?X
Dinner
)
(
includedMeal
?X
Lunch
))))
Hotel.kif 1638-1644
If
a meal plan
is an
instance
of
meal plan modified american
,
then
meals
of type
breakfast
are includes in
the meal plan
and
meals
of type
dinner
are includes in
the meal plan
or
meals
of type
lunch
are includes in
the meal plan
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