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
password
Sigma KEE - password
password
appearance as argument number 1
(
documentation
password
EnglishLanguage
"(
password
?Password ?Account) means that ?Password is the password associated with the
UserAccount
that the
ComputerUser
uses while logging onto a computer system.")
QoSontology.kif 2105-2108
(
domain
password
1
ComputerPassword
)
QoSontology.kif 2102-2102
The number 1 argument of
password
is an
instance
of
computer password
(
domain
password
2
UserAccount
)
QoSontology.kif 2103-2103
The number 2 argument of
password
is an
instance
of
user account
(
instance
password
AsymmetricRelation
)
QoSontology.kif 2101-2101
password
is an
instance
of
asymmetric relation
(
subrelation
password
names
)
QoSontology.kif 2100-2100
password
is a
subrelation
of
names
appearance as argument number 2
(
format
ChineseLanguage
password
"%2 有
password
%1 ")
domainEnglishFormat.kif 4087-4087
(
format
ChineseTraditionalLanguage
password
"%2 有
password
%1 ")
domainEnglishFormat.kif 4086-4086
(
format
EnglishLanguage
password
"%2 has
password
%1")
domainEnglishFormat.kif 4085-4085
(
termFormat
ChineseLanguage
password
"密码")
domainEnglishFormat.kif 44707-44707
(
termFormat
ChineseTraditionalLanguage
password
"密碼")
domainEnglishFormat.kif 44706-44706
(
termFormat
EnglishLanguage
password
"password")
domainEnglishFormat.kif 44705-44705
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 4390-4407
If
a cognitive agent
has
account
an user account
and
the user account
has
password
a computer password
and
deviceAccount
the user account
and
a computer
and
the cognitive agent
doesn't
know
the user account
has
password
the computer password
and
the cognitive agent
know
s the account
the user account
has
recovery
key
an entity
and
the cognitive agent
possess
es
the computer
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
change password
and
the user account
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 1986-1991
If
a computer password
is an
instance
of
Apple ID
and
a symbolic string
has
password
the computer password
and
a nonnegative integer
is
equal
to the
length
of
the symbolic string
,
then
the nonnegative integer
is
greater
than 7
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4042-4055
If
a process
is an
instance
of
change password
and
an agent
is an
agent
of
the process
and
the agent
has
account
an user account
and
the user account
has
password
a computer password
,
then there exists
an entity
such that
the entity
is an
instance
of
computer password
and
the entity
is not
equal
to
the computer password
and
the user account
has
password
the entity
holds
during
immediately
after
the
time
of existence of
the process
consequent
(=>
(
and
(
instance
?CP
ChangingPassword
)
(
agent
?CP ?A)
(
hasAccount
?A ?UA)
(
password
?P1 ?UA))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?P2)
(
and
(
instance
?P2
ComputerPassword
)
(
not
(
equal
?P2 ?P1))
(
password
?P2 ?UA)))))
ComputingBrands.kif 4042-4055
If
a process
is an
instance
of
change password
and
an agent
is an
agent
of
the process
and
the agent
has
account
an user account
and
the user account
has
password
a computer password
,
then there exists
an entity
such that
the entity
is an
instance
of
computer password
and
the entity
is not
equal
to
the computer password
and
the user account
has
password
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?CP
CreatingAnAccount
)
(
agent
?CP ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?CP))
(
exists
(?UA ?P1 ?N)
(
and
(
hasAccount
?A ?UA)
(
password
?P1 ?UA)
(
userName
?UA ?N)))))
ComputingBrands.kif 4106-4116
If
a process
is an
instance
of
creating an account
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
and
a third entity
such that
the agent
has
account
the entity
and
the entity
has
password
the other entity
and the
user
name
of
the entity
is
the third entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?User)))
QoSontology.kif 2093-2096
If
an agent
has
account
an user account
,
then there exists
a computer password
such that
the agent
has
password
the computer password
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
