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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confirmedRegisteredUser
confirmedRegisteredUser

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


(documentation confirmedRegisteredUser EnglishLanguage "(confirmedRegisteredUser ?AGENT ?SITE) means that the Agent ?Agent is a registeredUser of WebSite ?SITE, and has confirmed that registration by responding to a registration email.") UXExperimentalTerms.kif 1094-1096
(domain confirmedRegisteredUser 1 Agent) UXExperimentalTerms.kif 1088-1088 The number 1 argument of confirmed registed user is an instance of agent
(domain confirmedRegisteredUser 2 WebSite) UXExperimentalTerms.kif 1090-1090 The number 2 argument of confirmed registed user is an instance of WebSite
(instance confirmedRegisteredUser BinaryPredicate) UXExperimentalTerms.kif 1086-1086 confirmed registed user is an instance of binary predicate

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


(format ChineseLanguage confirmedRegisteredUser "%1 是 registered 在 %2 ") domainEnglishFormat.kif 3071-3071
(format ChineseTraditionalLanguage confirmedRegisteredUser "%1 是 registered 在 %2 ") domainEnglishFormat.kif 3070-3070
(format EnglishLanguage confirmedRegisteredUser "%1 is registered on %2") domainEnglishFormat.kif 3069-3069
(termFormat EnglishLanguage confirmedRegisteredUser "confirmed registed user") UXExperimentalTerms.kif 1092-1092

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


(=>
    (confirmedRegisteredUser ?USER ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1098-1100


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