| appearance as argument number 1 |
|
| (documentation includedMeal EnglishLanguage "(includedMeal ?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of Meal is available at ?TIME according to ?PLAN") | Hotel.kif 1558-1559 | |
| (domain includedMeal 1 MealPlan) | Hotel.kif 1562-1562 | |
| (domain includedMeal 2 RelationalAttribute) | Hotel.kif 1563-1563 | |
| (instance includedMeal BinaryPredicate) | Hotel.kif 1557-1557 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage includedMeal "类别 %2 的 meals 是包含在 %1 ") | domainEnglishFormat.kif 3684-3684 | |
| (format ChineseTraditionalLanguage includedMeal "類別 %2 的 meals 是包含在 %1 ") | domainEnglishFormat.kif 3683-3683 | |
| (format EnglishLanguage includedMeal "meals of type %2 are includes in %1") | domainEnglishFormat.kif 3682-3682 | |
| (termFormat EnglishLanguage includedMeal "included meal") | Hotel.kif 1560-1560 |
| antecedent |
|
|
| (=> (and (offers ?HOTEL ?MP) (instance ?MP MealPlan) (includedMeal ?MP ?ATTR) (attribute ?HOTEL TravelerAccommodation) (guest ?GUEST ?HOTEL) (buys ?GUEST ?HOTEL ?MP)) (holdsDuring (WhenFn (guest ?GUEST ?HOTEL)) (exists (?TI) (holdsDuring ?TI (exists (?MEAL) (and (attribute ?MEAL ?ATTR) (hasPurpose ?MEAL (exists (?E) (and (instance ?E Eating) (agent ?E ?GUEST) (patient ?E ?MEAL)))))))))) |
Hotel.kif 1569-1589 |
| consequent |
|
|
| (=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner))) |
Hotel.kif 1596-1601 | |
| (=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner))) |
Hotel.kif 1608-1612 | |
| (=> (instance ?X MealPlanBreakfast) (includedMeal ?X Breakfast)) |
Hotel.kif 1639-1641 | |
| (=> (instance ?X MealPlanContinental) (includedMeal ?X ContinentalBreakfast)) |
Hotel.kif 1630-1632 | |
| (=> (instance ?X MealPlanEuropean) (not (exists (?ATTR) (includedMeal ?X ?ATTR)))) |
Hotel.kif 1619-1623 | |
| (=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch)))) |
Hotel.kif 1649-1655 |
|
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