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
userDatabase
Sigma KEE - userDatabase
userDatabase
appearance as argument number 1
(
documentation
userDatabase
EnglishLanguage
"(userDatabase ?DATABASE ?WEBSITE) relates a
Database
and a
WebSite
, and signifies that ?DATABASE has a
part
which
represents
the
Collection
of users of the ?WEBSITE - i.e.
member
s of this collection are
Agent
s who are
agent
s of an
AccessingWebPage
where the
patient
of the accessing is
component
of ?WebSite.")
UXExperimentalTerms.kif 2166-2169
(
domain
userDatabase
1
Database
)
UXExperimentalTerms.kif 2162-2162
(
domain
userDatabase
2
WebSite
)
UXExperimentalTerms.kif 2164-2164
(
instance
userDatabase
BinaryPredicate
)
UXExperimentalTerms.kif 2160-2160
appearance as argument number 2
(
format
ChineseLanguage
userDatabase
"%1 是 user database 对于 %2 ")
domainEnglishFormat.kif 4886-4886
(
format
ChineseTraditionalLanguage
userDatabase
"%1 是 user database 對於 %2 ")
domainEnglishFormat.kif 4885-4885
(
format
EnglishLanguage
userDatabase
"%1 is the user database for %2")
domainEnglishFormat.kif 4884-4884
(
termFormat
EnglishLanguage
userDatabase
"user database")
UXExperimentalTerms.kif 2171-2171
antecedent
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
consequent
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
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