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
O argumento numero 1 de
userDatabase
e' uma
instancia
de
Database
(
domain
userDatabase
2
WebSite
)
UXExperimentalTerms.kif 2164-2164
O argumento numero 2 de
userDatabase
e' uma
instancia
de
WebSite
(
instance
userDatabase
BinaryPredicate
)
UXExperimentalTerms.kif 2160-2160
userDatabase
e' uma
instancia
de
Predicado Binario
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
userDatabase
Database
and
WebSite
Objeto
Colecao
Colecao
e' uma
instancia
de
Colecao
Objeto
e' uma &parte de
Database
Objeto
define
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
AutonomousAgent
Processo
Objeto Corpuscular
Processo
e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
WebPage
Page
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
componente
de
WebSite
consequent
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
registeredUser
AutonomousAgent
and
WebSite
Database
Objeto
userDatabase
Database
and
WebSite
Objeto
e' uma &parte de
Database
Objeto
define
AutonomousAgent
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