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 2100-2103
(
domain
password
1
ComputerPassword
)
QoSontology.kif 2097-2097
Die Zahl 1 Argument von
password
ist ein
fall
von
ComputerPassword
%n{nicht}
(
domain
password
2
UserAccount
)
QoSontology.kif 2098-2098
Die Zahl 2 Argument von
password
ist ein
fall
von
UserAccount
%n{nicht}
(
instance
password
AsymmetricRelation
)
QoSontology.kif 2096-2096
password
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
subrelation
password
names
)
QoSontology.kif 2095-2095
password
ist eine
teilrelation
von
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 44730-44730
(
termFormat
ChineseTraditionalLanguage
password
"密碼")
domainEnglishFormat.kif 44729-44729
(
termFormat
EnglishLanguage
password
"password")
domainEnglishFormat.kif 44728-44728
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
Wenn
hasAccount
CognitiveAgent
and
UserAccount
und
password
ComputerPassword
and
** UserAccount
und
deviceAccount
** UserAccount
and
Computer
und
** CognitiveAgent
kennt
password
** ComputerPassword
and
** UserAccount
nicht und
** CognitiveAgent
kennt
recoveryKey
entity
and
** UserAccount
%n{nicht} und
** CognitiveAgent
besitzt
** Computer
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
ChangingPassword
%n{nicht} und
** UserAccount
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 2018-2023
Wenn
ComputerPassword
ist ein
fall
von
AppleID
%n{nicht} und
password
** ComputerPassword
and
SymbolicString
und
NonnegativeInteger
ist gleich
StringLengthFn
** SymbolicString
%n{nicht},
dann
** NonnegativeInteger
ist
groesserAls
7 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
ChangingPassword
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
hasAccount
** AutonomousAgent
and
UserAccount
und
password
ComputerPassword
and
** UserAccount
,
dann es gibt
entity
um
** entity
ist ein
fall
von
ComputerPassword
%n{nicht} und
** entity
ist gleich
** ComputerPassword
nicht und
password
** entity
and
** UserAccount
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
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
Wenn
Process
ist ein
fall
von
ChangingPassword
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
hasAccount
** AutonomousAgent
and
UserAccount
und
password
ComputerPassword
and
** UserAccount
,
dann es gibt
entity
um
** entity
ist ein
fall
von
ComputerPassword
%n{nicht} und
** entity
ist gleich
** ComputerPassword
nicht und
password
** entity
and
** UserAccount
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
CreatingAnAccount
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
entity
,
** entity
, and und
** entity
um
hasAccount
** AutonomousAgent
and
** entity
und
password
** ** entity
and
** entity
und
userName
** entity
and
** ** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
hasAccount
?User ?Account)
(
exists
(?Password)
(
password
?Password ?Account)))
QoSontology.kif 2088-2091
Wenn
hasAccount
AutonomousAgent
and
UserAccount
,
dann es gibt
ComputerPassword
um
password
** ComputerPassword
and
** UserAccount
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