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
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
(
domain
confirmedRegisteredUser
2
WebSite
)
UXExperimentalTerms.kif 895-895
(
instance
confirmedRegisteredUser
BinaryPredicate
)
UXExperimentalTerms.kif 891-891
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 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