Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MealAttributeFn
MealAttributeFn

appearance as argument number 1
-------------------------


s__documentation(s__MealAttributeFn__m,s__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 220-223
s__domain(s__MealAttributeFn__m,n__1,s__Meal)

Food.kif 226-226 The number 1 argument of meal attribute function is an instance of meal
s__domain(s__MealAttributeFn__m,n__2,s__Region)

Food.kif 227-227 The number 2 argument of meal attribute function is an instance of region
s__instance(s__BinaryFunction,s__Class)

s__instance(s__MealAttributeFn__m,s__BinaryFunction)

Food.kif 219-219 Meal attribute function is an instance of binary function
s__range(s__MealAttributeFn__m,s__RelationalAttribute)

Food.kif 228-228 The range of meal attribute function is an instance of relational attribute

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__MealAttributeFn__m,'"对于 %1 合适的 meal 在 %2 "')

domainEnglishFormat.kif 3843-3843
s__format(s__ChineseTraditionalLanguage,s__MealAttributeFn__m,'"對於 %1 合適的 meal 在 %2 "')

domainEnglishFormat.kif 3842-3842
s__format(s__EnglishLanguage,s__MealAttributeFn__m,'"the appropriate meal for %1 in %2"')

domainEnglishFormat.kif 3841-3841
s__termFormat(s__EnglishLanguage,s__MealAttributeFn__m,'"meal attribute function"')

Food.kif 224-224

consequent
-------------------------


( ! [V__MEAL] :
   ((s__instance(V__MEAL,s__Meal) =>
       ((s__attribute(V__MEAL,s__ContinentalBreakfast) =>
           (((s__ContinentalBreakfast = s__MealAttributeFn(V__MEAL,s__NorthAmerica))
               |
               (s__ContinentalBreakfast = s__MealAttributeFn(V__MEAL,s__Europe)))))))
     )
   )

Food.kif 117-121

statement
-------------------------


( ? [V__MEAL, V__REGION] :
   ((s__instance(V__MEAL,s__Meal) &
       s__instance(V__REGION,s__Region) &
       s__attribute(V__MEAL,s__MealAttributeFn(V__MEAL,V__REGION)))))

Food.kif 230-231 There exist a meal and a region such that the appropriate meal for the meal in the region is an attribute of the meal


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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