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 AutonomousAgent ?Agent is a registeredUser of WebSite ?SITE, and has confirmed that registration by responding to a registration email.") UXExperimentalTerms.kif 899-901
(domain confirmedRegisteredUser 1 AutonomousAgent) UXExperimentalTerms.kif 893-893 confirmedRegisteredUser 的 1 数量 是 施事体instance
(domain confirmedRegisteredUser 2 WebSite) UXExperimentalTerms.kif 895-895 confirmedRegisteredUser 的 2 数量 是 WebSiteinstance
(instance confirmedRegisteredUser BinaryPredicate) UXExperimentalTerms.kif 891-891 confirmedRegisteredUser二元谓语instance

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


(format ChineseLanguage confirmedRegisteredUser "%1 是 registered 在 %2 ") domainEnglishFormat.kif 3066-3066
(format ChineseTraditionalLanguage confirmedRegisteredUser "%1 是 registered 在 %2 ") domainEnglishFormat.kif 3065-3065
(format EnglishLanguage confirmedRegisteredUser "%1 is registered on %2") domainEnglishFormat.kif 3064-3064
(termFormat EnglishLanguage confirmedRegisteredUser "confirmed registed user") UXExperimentalTerms.kif 897-897

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


(=>
    (confirmedRegisteredUser ?USER ?SITE)
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 903-905


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