Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - registeredUser
registeredUser

appearance as argument number 1
-------------------------


s__documentation(s__registeredUser__m,s__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 1055-1058
s__domain(s__registeredUser__m,n__1,s__Agent)

UXExperimentalTerms.kif 1051-1051 The number 1 argument of registered user is an instance of agent
s__domain(s__registeredUser__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1053-1053 The number 2 argument of registered user is an instance of WebSite
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__registeredUser__m,s__BinaryPredicate)

UXExperimentalTerms.kif 1049-1049 registered user is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__registeredUser__m,'"%1 是 %2 的 registered user "')

domainEnglishFormat.kif 4375-4375
s__format(s__ChineseTraditionalLanguage,s__registeredUser__m,'"%1 是 %2 的 registered user "')

domainEnglishFormat.kif 4374-4374
s__format(s__EnglishLanguage,s__registeredUser__m,'"%1 is a registered user of %2"')

domainEnglishFormat.kif 4373-4373
s__termFormat(s__EnglishLanguage,s__registeredUser__m,'"registered user"')

UXExperimentalTerms.kif 1060-1060

antecedent
-------------------------


( ! [V__USER,V__SITE] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__registeredUser(V__USER,V__SITE)
         =>
         (( ? [V__ACCT] :
             ((s__instance(V__ACCT,s__UserAccount) &
                 s__hasAccount(V__USER,V__ACCT)
               &
               s__accountAtSite(V__ACCT,V__SITE))))))))
)
)

UXExperimentalTerms.kif 1070-1076
( ! [V__WEBSITE,V__USER] :
   (((s__instance(V__WEBSITE,s__WebSite) &
         s__instance(V__USER,s__Agent))
       =>
       ((s__registeredUser(V__USER,V__WEBSITE)
         =>
         (( ? [V__DATABASE, V__PART] :
             ((s__instance(V__DATABASE,s__Database) &
                 s__instance(V__PART,s__Object) &
                 (s__userDatabase(V__DATABASE,V__WEBSITE)
                 &
                 s__part(V__PART,V__DATABASE)
               &
               s__represents(V__PART,V__USER)))))))))
)
)

UXExperimentalTerms.kif 1062-1068

consequent
-------------------------


( ! [V__USER,V__ACCOUNT,V__SITE] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__ACCOUNT,s__UserAccount) &
         s__instance(V__SITE,s__WebSite))
       =>
       (((s__accountAtSite(V__ACCOUNT,V__SITE)
           &
           s__hasAccount(V__USER,V__ACCOUNT))
       =>
       (s__registeredUser(V__USER,V__SITE)))))
)
)

UXExperimentalTerms.kif 1078-1082
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3837-3846
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3848-3858
( ! [V__USER,V__SITE] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__confirmedRegisteredUser(V__USER,V__SITE)
         =>
         (s__registeredUser(V__USER,V__SITE)))))
)
)

UXExperimentalTerms.kif 1100-1102
( ! [V__USER,V__SITE,V__COLL] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection))
       =>
       ((s__watchingListings(V__USER,V__COLL,V__SITE)
         =>
         (s__registeredUser(V__USER,V__SITE)))))
)
)

UXExperimentalTerms.kif 1444-1446


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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