Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - password
password

appearance as argument number 1
-------------------------


(subrelation password names) QoSontology.kif 2219-2219 password is a subrelation of names
(instance password AsymmetricRelation) QoSontology.kif 2220-2220 password is an instance of asymmetric relation
(domain password 1 ComputerPassword) QoSontology.kif 2221-2221 The number 1 argument of password is an instance of computer password
(domain password 2 UserAccount) QoSontology.kif 2222-2222 The number 2 argument of password is an instance of user account
(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 2224-2227 The number 2 argument of password is an instance of user account

appearance as argument number 2
-------------------------


(format EnglishLanguage password "%2 has password %1") domainEnglishFormat.kif 4084-4084
(format ChineseTraditionalLanguage password "%2 有 password %1 ") domainEnglishFormat.kif 4085-4085
(format ChineseLanguage password "%2 有 password %1 ") domainEnglishFormat.kif 4086-4086
(termFormat EnglishLanguage password "password") domainEnglishFormat.kif 44723-44723
(termFormat ChineseTraditionalLanguage password "密碼") domainEnglishFormat.kif 44724-44724
(termFormat ChineseLanguage password "密码") domainEnglishFormat.kif 44725-44725

antecedent
-------------------------


(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))		 ComputingBrands.kif 2018-2023 If X is an instance of Apple ID, Y has password X, and equal Z and the length of Y, then Z 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 3985-3998 If X is an instance of change password, Y is an agent of X, Y has account Z, and Z has password W, then there exists V such that V is an instance of computer password, equal V, W, and Z has password V holds during immediately after the time of existence of X
(=>
    (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 4333-4350 If All of the following hold: (1) X has account Y (2) Y has password Z (3) device account Y and W (4) X doesn't know Y has password Z (5) X knows the account Y has recovery key V (6) X possesses W, then the statement there exists U such that U is an instance of change password, Y is a patient of U, and X is an agent of U has the modal force of possibility

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 3985-3998 If X is an instance of change password, Y is an agent of X, Y has account Z, and Z has password W, then there exists V such that V is an instance of computer password, equal V, W, and Z has password V holds during immediately after the time of existence of X
(=>
    (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 4049-4059 If X is an instance of creating an account and Y is an agent of X, then there exist Z, W, V such that Y has account Z, Z has password W, and the user name of Z is V holds during immediately after the time of existence of X
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?Account)))		 QoSontology.kif 2212-2215 If X has account Y, then there exists Z such that Y has password Z


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners