Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MealPlanBreakfast

Sigma KEE - MealPlanBreakfast
MealPlanBreakfast

appearance as argument number 1
-------------------------


(documentation MealPlanBreakfast EnglishLanguage "MealPlanBreakfast is an arrangement in which a TravelerAccommodation provides a Breakfast") Hotel.kif 1624-1625
(subclass MealPlanBreakfast MealPlan) Hotel.kif 1623-1623

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


(subclass MealPlanContinental MealPlanBreakfast) Hotel.kif 1614-1614
(termFormat EnglishLanguage MealPlanBreakfast "breakfast meal plan") Hotel.kif 1626-1626
(termFormat EnglishLanguage MealPlanBreakfast "modified american meal plan") Hotel.kif 1636-1636

antecedent
-------------------------


(=>
    (instance ?X MealPlanBreakfast)
    (includedMeal ?X Breakfast))
Hotel.kif 1628-1630


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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