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 and
MealPlan
(
domain
includedMeal
2
RelationalAttribute
)
Hotel.kif 1552-1552
域
includedMeal
, 2 and
RelationalAttribute
(
instance
includedMeal
BinaryPredicate
)
Hotel.kif 1546-1546
例
includedMeal
and
BinaryPredicate
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
AutonomousAgent
offers
拍賣樣品在
MealPlan
例
MealPlan
and
MealPlan
類別
RelationalAttribute
的
meals
是包含在
MealPlan
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
是在
AutonomousAgent
的
guest
CognitiveAgent
buys
MealPlan
從
AutonomousAgent
持有期間
何時
CognitiveAgent
是在
AutonomousAgent
的
guest
and
entity
持有期間
entity
and
entity
attribute
entity
and
RelationalAttribute
有目的
entity
and
entity
例
entity
and
Eating
agent
entity
and
CognitiveAgent
患者
entity
and
entity
consequent
(=>
(
instance
?X
FullBoard
)
(
and
(
includedMeal
?X
Breakfast
)
(
includedMeal
?X
Lunch
)
(
includedMeal
?X
Dinner
)))
Hotel.kif 1585-1590
例
MealPlan
and
FullBoard
類別
Breakfast
的
meals
是包含在
MealPlan
類別
Lunch
的
meals
是包含在
MealPlan
類別
Dinner
的
meals
是包含在
MealPlan
(=>
(
instance
?X
HalfBoard
)
(
and
(
includedMeal
?X
Breakfast
)
(
includedMeal
?X
Dinner
)))
Hotel.kif 1597-1601
例
MealPlan
and
HalfBoard
類別
Breakfast
的
meals
是包含在
MealPlan
類別
Dinner
的
meals
是包含在
MealPlan
(=>
(
instance
?X
MealPlanBreakfast
)
(
includedMeal
?X
Breakfast
))
Hotel.kif 1628-1630
例
MealPlan
and
MealPlanBreakfast
類別
Breakfast
的
meals
是包含在
MealPlan
(=>
(
instance
?X
MealPlanContinental
)
(
includedMeal
?X
ContinentalBreakfast
))
Hotel.kif 1619-1621
例
MealPlan
and
MealPlanContinental
類別
ContinentalBreakfast
的
meals
是包含在
MealPlan
(=>
(
instance
?X
MealPlanEuropean
)
(
not
(
exists
(?ATTR)
(
includedMeal
?X ?ATTR))))
Hotel.kif 1608-1612
例
MealPlan
and
MealPlanEuropean
RelationalAttribute
類別
RelationalAttribute
的
meals
是包含在
MealPlan
(=>
(
instance
?X
MealPlanModifiedAmerican
)
(
and
(
includedMeal
?X
Breakfast
)
(
or
(
includedMeal
?X
Dinner
)
(
includedMeal
?X
Lunch
))))
Hotel.kif 1638-1644
例
MealPlan
and
MealPlanModifiedAmerican
類別
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