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
registeredUser
Sigma KEE - registeredUser
registeredUser
appearance as argument number 1
(
documentation
registeredUser
EnglishLanguage
"(registedUser ?AGENT ?SITE) means that ?AGENT is a registered user at the
WebSite
?SITE - i.e. ?AGENT
hasAccount
a
UserAccount
and that
UserAccount
is an
accountAtSite
?SITE. This also means that there is a part of the
userDatabase
of ?SITE that represents the ?AGENT.")
UXExperimentalTerms.kif 858-861
(
domain
registeredUser
1
AutonomousAgent
)
UXExperimentalTerms.kif 854-854
O argumento numero 1 de
registeredUser
e' uma
instancia
de
AutonomousAgent
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
O argumento numero 2 de
registeredUser
e' uma
instancia
de
WebSite
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
registeredUser
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
registeredUser
"%1 是 %2 的 registered user ")
domainEnglishFormat.kif 4366-4366
(
format
ChineseTraditionalLanguage
registeredUser
"%1 是 %2 的 registered user ")
domainEnglishFormat.kif 4365-4365
(
format
EnglishLanguage
registeredUser
"%1 is a registered user of %2")
domainEnglishFormat.kif 4364-4364
(
termFormat
EnglishLanguage
registeredUser
"registered user")
UXExperimentalTerms.kif 863-863
antecedent
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
Objeto Corpuscular
e' uma
instancia
de
DigitalPost
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Objeto Corpuscular
e' um
componente
de
WebSite
creator
AutonomousAgent
and
Objeto Corpuscular
registeredUser
AutonomousAgent
and
WebSite
Objeto Corpuscular
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Disseminar
Entidade
e' um
agente
de
AutonomousAgent
Objeto Corpuscular
e' um
patient
de
Entidade
WebSite
e' um
instrumento
para
Entidade
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
registeredUser
AutonomousAgent
and
WebSite
UserAccount
UserAccount
e' uma
instancia
de
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
(=>
(
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
consequent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
accountAtSite
UserAccount
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
registeredUser
AutonomousAgent
and
WebSite
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
WebSite
e' uma
instancia
de
WebSite
Colecao
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e' uma
instancia
de
Humano
Intervalo Temporal
_BEFORE
Intervalo Temporal
_BEFORE e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
_BEFORE acontence
antes
de
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
_BEFORE
Intervalo Temporal
_DURING
Intervalo Temporal
_DURING e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
_DURING acontece
durante
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
Fisico
e'
membro
de
Colecao
Colecao
e'
igual
a
SiteWideNewRegistrationsFn
Intervalo Temporal
and
WebSite
(=>
(
and
(
newRegisteredUsers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?DURING)
(
and
(
instance
?DURING
TimeInterval
)
(
during
?DURING ?INT)
(
holdsDuring
?DURING
(
registeredUser
?MEMBER ?SITE)))))
UXExperimentalTerms.kif 3629-3638
newRegisteredUsers
Intervalo Temporal
,
WebSite
and
Colecao
Fisico
e'
membro
de
Colecao
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontece
durante
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
(=>
(
and
(
newRegisteredUsers
?INT1 ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?INT2)
(
and
(
instance
?INT2
TimeInterval
)
(
earlier
?INT2 ?INT1)
(
holdsDuring
?INT2
(
registeredUser
?MEMBER ?SITE))))))
UXExperimentalTerms.kif 3640-3650
newRegisteredUsers
Intervalo Temporal
,
WebSite
and
Colecao
Fisico
e'
membro
de
Colecao
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
registeredUser
Fisico
and
WebSite
vale
durante
Intervalo Temporal
(=>
(
confirmedRegisteredUser
?USER ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 903-905
confirmedRegisteredUser
AutonomousAgent
and
WebSite
registeredUser
AutonomousAgent
and
WebSite
(=>
(
watchingListings
?USER ?COLL ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1247-1249
watchingListings
AutonomousAgent
,
Colecao
and
WebSite
registeredUser
AutonomousAgent
and
WebSite
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