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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 mealPlanInclusion 的 1 数量 是 HotelPackageinstance
(domainSubclass mealPlanInclusion 2 MealPlan) Hotel.kif 2798-2798 mealPlanInclusion 的 2 数量 是 MealPlansubclass
(instance mealPlanInclusion BinaryPredicate) Hotel.kif 2793-2793 mealPlanInclusion二元谓语instance

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 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