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 and
Meal
(
domain
MealAttributeFn
2
Region
)
Food.kif 1899-1899
域
MealAttributeFn
, 2 and
Region
(
instance
MealAttributeFn
BinaryFunction
)
Food.kif 1891-1891
例
MealAttributeFn
and
BinaryFunction
(
range
MealAttributeFn
RelationalAttribute
)
Food.kif 1900-1900
範圍
MealAttributeFn
and
RelationalAttribute
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
attribute
Meal
and
ContinentalBreakfast
等於
ContinentalBreakfast
and 對於
Meal
合適的
meal
在
北美
等於
ContinentalBreakfast
and 對於
Meal
合適的
meal
在
歐洲
statement
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 1902-1903
Meal
Region
attribute
Meal
and 對於
Meal
合適的
meal
在
Region
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