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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soil

Sigma KEE - mealPlanInclusion
mealPlanInclusion

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


(documentation mealPlanInclusion EnglishLanguage "(mealPlanInclusion ?PKG ?PLAN) means that the conditions in MealPlan ?PLAN is applicable to the consumer of the HotelPackage") Hotel.kif 2794-2795
(domain mealPlanInclusion 1 HotelPackage) Hotel.kif 2797-2797 Le nombre 1 argument de mealPlanInclusion est une instance de HotelPackage
(domainSubclass mealPlanInclusion 2 MealPlan) Hotel.kif 2798-2798 Le nombre 2 argument de mealPlanInclusion est une sous-classe de MealPlan
(instance mealPlanInclusion BinaryPredicate) Hotel.kif 2793-2793 mealPlanInclusion est une instance de pr�dicat binaire

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


(format ChineseLanguage mealPlanInclusion "%2 是对于 %1 的 meal plan ") domainEnglishFormat.kif 3842-3842
(format ChineseTraditionalLanguage mealPlanInclusion "%2 是對於 %1 的 meal plan ") domainEnglishFormat.kif 3841-3841
(format EnglishLanguage mealPlanInclusion "%2 is the meal plan for %1") domainEnglishFormat.kif 3840-3840
(termFormat EnglishLanguage mealPlanInclusion "meal plan inclusion") Hotel.kif 2796-2796


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