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
Le nombre 1 argument de
registeredUser
est une
instance
de
AutonomousAgent
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
Le nombre 2 argument de
registeredUser
est une
instance
de
WebSite
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
registeredUser
est une
instance
de
pr�dicat binaire
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
Objet corpusculaire
est une
instance
de
DigitalPost
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
WebSite
creator
AutonomousAgent
and
objet corpusculaire
registeredUser
AutonomousAgent
and
WebSite
objet corpusculaire
a pour
but
entit�
entit�
est une
instance
de
disseminer
entit�
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
patient
de
entit�
WebSite
est un
instrument
pour
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
est une
instance
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
objet
userDatabase
Database
and
WebSite
objet
est une
partie
de
Database
objet
d
�finie
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
Interval temporel
est une
instance
de
interval temporel
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
physique
physique
est une
instance
de
humain
interval temporel
_BEFORE
interval temporel
_BEFORE est une
instance
de
interval temporel
interval temporel
_BEFORE arrive
plus
t�t que
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
_BEFORE
interval temporel
_DURING
interval temporel
_DURING est une
instance
de
interval temporel
interval temporel
_DURING prend place
pendant
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
physique
est un
membre
de
collection
collection
est
SiteWideNewRegistrationsFn
interval temporel
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
interval temporel
,
WebSite
and
collection
physique
est un
membre
de
collection
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
prend place
pendant
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
(=>
(
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
interval temporel
,
WebSite
and
collection
physique
est un
membre
de
collection
interval temporel
interval temporel
est une
instance
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
registeredUser
physique
and
WebSite
pendant
interval temporel
(=>
(
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
,
collection
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