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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 The number 1 argument of process inclusion is an instance of hotel package
(domainSubclass processInclusion 2 Process) Hotel.kif 2784-2784 The number 2 argument of process inclusion is a subclass of process
(instance processInclusion BinaryPredicate) Hotel.kif 2779-2779 process inclusion is an instance of binary predicate

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