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
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 2206-2209
(
domain
password
1
ComputerPassword
)
QoSontology.kif 2203-2203
The number 1 argument of
password
is an
instance
of
computer password
(
domain
password
2
UserAccount
)
QoSontology.kif 2204-2204
The number 2 argument of
password
is an
instance
of
user account
(
instance
password
AsymmetricRelation
)
QoSontology.kif 2202-2202
password
is an
instance
of
asymmetric relation
(
subrelation
password
names
)
QoSontology.kif 2201-2201
password
is a
subrelation
of
names
appearance as argument number 2
(
format
ChineseLanguage
password
"%2 有
password
%1 ")
domainEnglishFormat.kif 4082-4082
(
format
ChineseTraditionalLanguage
password
"%2 有
password
%1 ")
domainEnglishFormat.kif 4081-4081
(
format
EnglishLanguage
password
"%2 has
password
%1")
domainEnglishFormat.kif 4080-4080
(
termFormat
ChineseLanguage
password
"密码")
domainEnglishFormat.kif 44763-44763
(
termFormat
ChineseTraditionalLanguage
password
"密碼")
domainEnglishFormat.kif 44762-44762
(
termFormat
EnglishLanguage
password
"password")
domainEnglishFormat.kif 44761-44761
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 4427-4444
If
a cognitive agent
has
account
an user account
and
the user account
has
password
a computer password
and
device account
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 2018-2023
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 4079-4092
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 4079-4092
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 4143-4153
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 ?Account)))
QoSontology.kif 2194-2197
If
an agent
has
account
an user account
,
then there exists
a computer password
such that
the user account
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
