Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
consequent
(=>
(
instance
?X
GolfPackage
)
(
processInclusion
?X
Golf
))
Hotel.kif 2810-2812
HotelPackage
est une
instance
de
GolfPackage
processInclusion
HotelPackage
and
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 is
open source software
produced by
Articulate Software
and its partners