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

Formal Language: 



KB Term:  Term intersection
English Word: 

  confirmedRegisteredUser

 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 引数は AutonomousAgent の instance では %n
(domain confirmedRegisteredUser 2 WebSite) UXExperimentalTerms.kif 895-895 confirmedRegisteredUser の数値 2 引数は WebSite の instance では %n
(instance confirmedRegisteredUser BinaryPredicate) UXExperimentalTerms.kif 891-891 confirmedRegisteredUser は 2進述語 の instance では %n

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

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