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
Die Zahl 1 Argument von
registeredUser
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
registeredUser
2
WebSite
)
UXExperimentalTerms.kif 856-856
Die Zahl 2 Argument von
registeredUser
ist ein
fall
von
WebSite
%n{nicht}
(
instance
registeredUser
BinaryPredicate
)
UXExperimentalTerms.kif 852-852
registeredUser
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
CorpuscularObject
ist ein
fall
von
DigitalPost
%n{nicht} und
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
** CorpuscularObject
ist ein
bestandteil
von
** WebSite
%n{nicht} und
creator
** AutonomousAgent
and
** CorpuscularObject
und
registeredUser
** AutonomousAgent
and
** WebSite
,
dann
** CorpuscularObject
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Disseminating
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CorpuscularObject
ist ein
patient
von
** entity
%n{nicht} und
** WebSite
ist ein
instrument
fuer
** entity
%n{nicht} %n{nicht}
(=>
(
registeredUser
?USER ?SITE)
(
exists
(?ACCT)
(
and
(
instance
?ACCT
UserAccount
)
(
hasAccount
?USER ?ACCT)
(
accountAtSite
?ACCT ?SITE))))
UXExperimentalTerms.kif 873-879
Wenn
registeredUser
AutonomousAgent
and
WebSite
,
dann es gibt
UserAccount
um
** UserAccount
ist ein
fall
von
UserAccount
%n{nicht} und
hasAccount
** AutonomousAgent
and
** UserAccount
und
accountAtSite
** UserAccount
and
** WebSite
(=>
(
registeredUser
?USER ?WEBSITE)
(
exists
(?DATABASE ?PART)
(
and
(
userDatabase
?DATABASE ?WEBSITE)
(
part
?PART ?DATABASE)
(
represents
?PART ?USER))))
UXExperimentalTerms.kif 865-871
Wenn
registeredUser
AutonomousAgent
and
WebSite
,
dann es gibt
Database
und
Object
um
userDatabase
** Database
and
** WebSite
und
** Object
ist ein
teil
von
** Database
%n{nicht} und
** Object
drueckt
** AutonomousAgent
aus
consequent
(=>
(
and
(
accountAtSite
?ACCOUNT ?SITE)
(
hasAccount
?USER ?ACCOUNT))
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 881-885
Wenn
accountAtSite
UserAccount
and
WebSite
und
hasAccount
AutonomousAgent
and
** UserAccount
,
dann
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
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
fall
von
Human
%n{nicht} und es gibt nicht
** TimeInterval
_BEFORE um
** TimeInterval
_BEFORE ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
_BEFORE geschieht frueh als
** TimeInterval
%n{nicht} und
registeredUser
** Physical
and
** WebSite
haelt
waehrend
** TimeInterval
_BEFORE %n{nicht} und es gibt
** TimeInterval
_DURING um
** TimeInterval
_DURING ist ein
fall
von
TimeInterval
%n{nicht} und
** TimeInterval
_DURING geschieht
waehrend
** TimeInterval
%n{nicht} und
registeredUser
** Physical
and
** WebSite
haelt
waehrend
** TimeInterval
%n{nicht},
dann
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht}
und
** Collection
ist gleich
SiteWideNewRegistrationsFn
** TimeInterval
and
** WebSite
%n{nicht}
(=>
(
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
Wenn
newRegisteredUsers
TimeInterval
,
WebSite
and
Collection
und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht
waehrend
** TimeInterval
%n{nicht} und
registeredUser
** Physical
and
** WebSite
haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
newRegisteredUsers
TimeInterval
,
WebSite
and
Collection
und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt nicht
** TimeInterval
um
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
registeredUser
** Physical
and
** WebSite
haelt
waehrend
** ** TimeInterval
%n{nicht}
(=>
(
confirmedRegisteredUser
?USER ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 903-905
Wenn
confirmedRegisteredUser
AutonomousAgent
and
WebSite
,
dann
registeredUser
** AutonomousAgent
and
** WebSite
(=>
(
watchingListings
?USER ?COLL ?SITE)
(
registeredUser
?USER ?SITE))
UXExperimentalTerms.kif 1247-1249
Wenn
watchingListings
AutonomousAgent
,
Collection
and
WebSite
,
dann
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