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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 Le nombre 1 argument de MealAttributeFn est une instance de Meal
(domain MealAttributeFn 2 Region) Food.kif 1899-1899 Le nombre 2 argument de MealAttributeFn est une instance de r�gion
(instance MealAttributeFn BinaryFunction) Food.kif 1891-1891 MealAttributeFn est une instance de fonction binaire
(range MealAttributeFn RelationalAttribute) Food.kif 1900-1900 Le domaine de MealAttributeFn est une instance de attribut relationnel

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

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


(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))
Food.kif 1902-1903 Meal r�gion MealAttributeFn Meal and r�gion est un attribut de Meal


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