TreeView Knowledge Base Browser - processInclusion

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

KB Term:			Term intersection

English Word:

processInclusion

Sigma KEE - processInclusion

processInclusion

appearance as argument number 1

(instance processInclusion BinaryPredicate)	Hotel.kif 2797-2797	process inclusion is an instance of binary predicate
(documentation processInclusion EnglishLanguage "(processInclusion ?PACKAGE ?SVC) means that the guest can be the experiencer of serviceRecipient of ?SVC")	Hotel.kif 2798-2799	process inclusion is an instance of binary predicate
(domain processInclusion 1 HotelPackage)	Hotel.kif 2801-2801	The number 1 argument of process inclusion is an instance of hotel package
(domainSubclass processInclusion 2 Process)	Hotel.kif 2802-2802	The number 2 argument of process inclusion is a subclass of process

appearance as argument number 2

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

consequent

(=>
(instance ?X GolfPackage)
(processInclusion ?X Golf))

Hotel.kif 2828-2830

If X is an instance of golf package, then customers of X are entitled to golf

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners