| 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 1509-1510 | |
| (domain includedMeal 1 MealPlan) | Hotel.kif 1513-1513 | |
| (domain includedMeal 2 RelationalAttribute) | Hotel.kif 1514-1514 | |
| (instance includedMeal BinaryPredicate) | Hotel.kif 1508-1508 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage includedMeal "类别 %2 的 meals 是包含在 %1 ") | domainEnglishFormat.kif 3691-3691 | |
| (format ChineseTraditionalLanguage includedMeal "類別 %2 的 meals 是包含在 %1 ") | domainEnglishFormat.kif 3690-3690 | |
| (format EnglishLanguage includedMeal "meals of type %2 are includes in %1") | domainEnglishFormat.kif 3689-3689 | |
| (termFormat EnglishLanguage includedMeal "included meal") | Hotel.kif 1511-1511 |
| 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 1520-1540 |
| consequent |
|
|
| (=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner))) |
Hotel.kif 1547-1552 | |
| (=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner))) |
Hotel.kif 1559-1563 | |
| (=> (instance ?X MealPlanBreakfast) (includedMeal ?X Breakfast)) |
Hotel.kif 1590-1592 | |
| (=> (instance ?X MealPlanContinental) (includedMeal ?X ContinentalBreakfast)) |
Hotel.kif 1581-1583 | |
| (=> (instance ?X MealPlanEuropean) (not (exists (?ATTR) (includedMeal ?X ?ATTR)))) |
Hotel.kif 1570-1574 | |
| (=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch)))) |
Hotel.kif 1600-1606 |
|
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