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
MealAttributeFn
Sigma KEE - MealAttributeFn
MealAttributeFn
appearance as argument number 1
(
documentation
MealAttributeFn
EnglishLanguage
"(
MealAttributeFn
?MEAL ?AREA) returns a
RelationalAttribute
to describe the
Meal
?MEAL in a specific
Region
?AREA. This coveres the cases where Steak and Eggs would be dinner in Asia but breakfast in the US.")
Food.kif 1892-1895
(
domain
MealAttributeFn
1
Meal
)
Food.kif 1898-1898
MealAttributeFn
的 1 数量 是
Meal
的
instance
(
domain
MealAttributeFn
2
Region
)
Food.kif 1899-1899
MealAttributeFn
的 2 数量 是
地区
的
instance
(
instance
MealAttributeFn
BinaryFunction
)
Food.kif 1891-1891
MealAttributeFn
是
二元函数
的
instance
(
range
MealAttributeFn
RelationalAttribute
)
Food.kif 1900-1900
MealAttributeFn
的
range
是
关联属性
的实例
appearance as argument number 2
(
format
ChineseLanguage
MealAttributeFn
"对于 %1 合适的 meal 在 %2 ")
domainEnglishFormat.kif 3838-3838
(
format
ChineseTraditionalLanguage
MealAttributeFn
"對於 %1 合適的 meal 在 %2 ")
domainEnglishFormat.kif 3837-3837
(
format
EnglishLanguage
MealAttributeFn
"the appropriate meal for %1 in %2")
domainEnglishFormat.kif 3836-3836
(
termFormat
EnglishLanguage
MealAttributeFn
"meal attribute function")
Food.kif 1896-1896
consequent
(=>
(
attribute
?MEAL
ContinentalBreakfast
)
(
or
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
NorthAmerica
))
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
Europe
))))
Food.kif 1725-1729
如果
ContinentalBreakfast
是
Meal
的
attribute
,
然后
ContinentalBreakfast
equal
对于
那个 Meal
合适的
meal
在
北美
或
ContinentalBreakfast
equal
对于
那个 Meal
合适的
meal
在
欧洲
statement
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 1902-1903
有存在
Meal
和
地区
这样 对于
那个 Meal
合适的
meal
在
那个 地区
是
那个 Meal
的
attribute
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