Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass MealPlan Proposition) Hotel.kif 1541-1541 Meal plan is a subclass of proposition
(subclass FullBoard MealPlan) Hotel.kif 1580-1580 Full board is a subclass of meal plan
(subclass HalfBoard MealPlan) Hotel.kif 1592-1592 Half board is a subclass of meal plan
(subclass MealPlanEuropean MealPlan) Hotel.kif 1603-1603 European meal plan is a subclass of meal plan
(subclass MealPlanBreakfast MealPlan) Hotel.kif 1623-1623 Modified american meal plan is a subclass of meal plan
(subclass MealPlanModifiedAmerican MealPlan) Hotel.kif 1632-1632 Meal plan modified american is a subclass of meal plan


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