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
では %n
(
domain
MealAttributeFn
2
Region
)
Food.kif 1899-1899
MealAttributeFn
の数値 2 引数は
地域
の
instance
では %n
(
instance
MealAttributeFn
BinaryFunction
)
Food.kif 1891-1891
MealAttributeFn
は
2変数関数
の
instance
では %n
(
range
MealAttributeFn
RelationalAttribute
)
Food.kif 1900-1900
MealAttributeFn
の
range
は
関係属性
のインスタンス では %n
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
では %n
ContinentalBreakfast
は
MealAttributeFn
Meal
and
NorthAmerica
と
equal
では %n
ContinentalBreakfast
は
MealAttributeFn
Meal
and
Europe
と
equal
では %n
statement
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 1902-1903
Meal
地域
MealAttributeFn
Meal
and
地域
は
Meal
の
attribute
では %n
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