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
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
consequent
(=>
(
instance
?X
GolfPackage
)
(
processInclusion
?X
Golf
))
Hotel.kif 2810-2812
If
a hotel package
is an
instance
of
golf package
,
then customers of
the hotel package
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 is
open source software
produced by
Articulate Software
and its partners