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
Die Zahl 1 Argument von
MealAttributeFn
ist ein
fall
von
Meal
%n{nicht}
(
domain
MealAttributeFn
2
Region
)
Food.kif 1899-1899
Die Zahl 2 Argument von
MealAttributeFn
ist ein
fall
von
Region
%n{nicht}
(
instance
MealAttributeFn
BinaryFunction
)
Food.kif 1891-1891
MealAttributeFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
range
MealAttributeFn
RelationalAttribute
)
Food.kif 1900-1900
bildbereich
von
MealAttributeFn
ist ein fall von
RelationalAttribute
{nicht}
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
Wenn
ContinentalBreakfast
ist ein
attribut
von
Meal
%n{nicht},
dann
ContinentalBreakfast
ist gleich
MealAttributeFn
** Meal
and
NorthAmerica
%n{nicht} oder
ContinentalBreakfast
ist gleich
MealAttributeFn
** Meal
and
Europe
%n{nicht}
statement
(
exists
(?MEAL ?REGION)
(
attribute
?MEAL
(
MealAttributeFn
?MEAL ?REGION)))
Food.kif 1902-1903
Es gibt
Meal
und
Region
um
MealAttributeFn
** Meal
and
** Region
ist ein
attribut
von
** Meal
%n{nicht}
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