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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MealPlanContinental
MealPlanContinental(continental meal plan)

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


(documentation MealPlanContinental EnglishLanguage "MealPlanContinental is an arrangement in which a TravelerAccommodation provides a continental breakfast") Hotel.kif 1615-1616
(subclass MealPlanContinental MealPlanBreakfast) Hotel.kif 1614-1614 Continental meal plan is a subclass of modified american meal plan

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


(termFormat EnglishLanguage MealPlanContinental "continental meal plan") Hotel.kif 1617-1617

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


(=>
    (instance ?X MealPlanContinental)
    (includedMeal ?X ContinentalBreakfast))
Hotel.kif 1619-1621


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