Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
recoveryKey
Sigma KEE - recoveryKey
recoveryKey
appearance as argument number 1
(
documentation
recoveryKey
EnglishLanguage
"A code that will allow a user to recover his or her password if the password is forgotten. It is essentially a password for the password.")
ComputingBrands.kif 4420-4422
(
domain
recoveryKey
1
SymbolicString
)
ComputingBrands.kif 4418-4418
domain
recoveryKey
, 1 and
SymbolicString
(
domain
recoveryKey
2
UserAccount
)
ComputingBrands.kif 4419-4419
domain
recoveryKey
, 2 and
UserAccount
(
instance
recoveryKey
BinaryRelation
)
ComputingBrands.kif 4417-4417
instance
recoveryKey
and
BinaryRelation
appearance as argument number 2
(
format
EnglishLanguage
recoveryKey
"the account %2 has recovery key %1")
ComputingBrands.kif 4423-4423
(
termFormat
EnglishLanguage
recoveryKey
"recovery key")
domainEnglishFormat.kif 66024-66024
antecedent
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4425-4442
hasAccount
CognitiveAgent
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
knows
CognitiveAgent
and
password
ComputerPassword
and
UserAccount
knows
CognitiveAgent
and
recoveryKey
entity
and
UserAccount
possesses
CognitiveAgent
and
Computer
modalAttribute
entity
instance
entity
and
ChangingPassword
patient
entity
and
UserAccount
agent
entity
and
CognitiveAgent
and
Possibility
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