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
Il numero 1 argomenti di
registeredUser
è un
istanza
di
AutonomousAgent
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
Il numero 2 argomenti di
registeredUser
è un
istanza
di
WebSite
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
registeredUser
è un'
istanza
di
PredicatoBinario
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
OggettoCorpuscolare
è un'
istanza
di
DigitalPost
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
OggettoCorpuscolare
è un
componente
di
WebSite
creator
AutonomousAgent
and
OggettoCorpuscolare
registeredUser
AutonomousAgent
and
WebSite
OggettoCorpuscolare
ha
scopo
Entit�
Entit�
è un'
istanza
di
Diffusione
Entit�
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
è un
paziente
di
Entit�
WebSite
è uno
strumento
per
Entit�
(=>
(
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
è un'
istanza
di
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
Oggetto
userDatabase
Database
and
WebSite
Oggetto
è una
parte
di
Database
Oggetto
esprime
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
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Umano
IntervalloTemporale
_BEFORE
IntervalloTemporale
_BEFORE è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_BEFORE accades
prima
di
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
_BEFORE
IntervalloTemporale
_DURING
IntervalloTemporale
_DURING è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
_DURING has luogo
durante
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
SiteWideNewRegistrationsFn
IntervalloTemporale
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
has luogo
durante
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
(=>
(
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
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
registeredUser
Entit�Concreta
and
WebSite
vales
durante
IntervalloTemporale
(=>
(
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
,
InsiemeConcreto
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