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
-------------------------


(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 220-223
(domain MealAttributeFn 1 Meal) Food.kif 226-226 MealAttributeFn 的 1 数量 是 Mealinstance
(domain MealAttributeFn 2 Region) Food.kif 227-227 MealAttributeFn 的 2 数量 是 地区instance
(instance MealAttributeFn BinaryFunction) Food.kif 219-219 MealAttributeFn二元函数instance
(range MealAttributeFn RelationalAttribute) Food.kif 228-228 MealAttributeFnrange关联属性 的实例

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


(format ChineseLanguage MealAttributeFn "对于 %1 合适的 meal 在 %2 ") domainEnglishFormat.kif 3843-3843
(format ChineseTraditionalLanguage MealAttributeFn "對於 %1 合適的 meal 在 %2 ") domainEnglishFormat.kif 3842-3842
(format EnglishLanguage MealAttributeFn "the appropriate meal for %1 in %2") domainEnglishFormat.kif 3841-3841
(termFormat EnglishLanguage MealAttributeFn "meal attribute function") Food.kif 224-224

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


(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))
Food.kif 117-121

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


(exists (?MEAL ?REGION)
    (attribute ?MEAL
        (MealAttributeFn ?MEAL ?REGION)))
Food.kif 230-231 有存在 Meal 地区 这样 对于 那个 Meal 合适的 meal那个 地区那个 Mealattribute


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