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

Formal Language: 



KB Term:  Term intersection
English Word: 

  processInclusion

 Sigma KEE - processInclusion
processInclusion

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


(documentation processInclusion EnglishLanguage "(processInclusion ?PACKAGE ?SVC) means that the guest can be the experiencer of serviceRecipient of ?SVC") Hotel.kif 2780-2781
(domain processInclusion 1 HotelPackage) Hotel.kif 2783-2783 Le nombre 1 argument de processInclusion est une instance de HotelPackage
(domainSubclass processInclusion 2 Process) Hotel.kif 2784-2784 Le nombre 2 argument de processInclusion est une sous-classe de processus
(instance processInclusion BinaryPredicate) Hotel.kif 2779-2779 processInclusion est une instance de pr�dicat binaire

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


(format ChineseLanguage processInclusion "%1 的顾客 是 entitled 对于 %2 ") domainEnglishFormat.kif 4218-4218
(format ChineseTraditionalLanguage processInclusion "%1 的顧客 是 entitled 對於 %2 ") domainEnglishFormat.kif 4217-4217
(format EnglishLanguage processInclusion "customers of %1 are entitled to %2") domainEnglishFormat.kif 4216-4216
(termFormat EnglishLanguage processInclusion "process inclusion") Hotel.kif 2782-2782

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