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 | |
(domain MealAttributeFn 2 Region) | Food.kif 1899-1899 | |
(instance MealAttributeFn BinaryFunction) | Food.kif 1891-1891 | |
(range MealAttributeFn RelationalAttribute) | Food.kif 1900-1900 |
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 |