TreeView Knowledge Base Browser

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	O argumento numero 1 de MealAttributeFn e' uma instancia de Meal
(domain MealAttributeFn 2 Region)	Food.kif 1899-1899	O argumento numero 2 de MealAttributeFn e' uma instancia de Regiao
(instance MealAttributeFn BinaryFunction)	Food.kif 1891-1891	MealAttributeFn e' uma instancia de Funcao Binaria
(range MealAttributeFn RelationalAttribute)	Food.kif 1900-1900	O contra-dominio de MealAttributeFn e' uma instancia de Atributo Relacional

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