Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2106-2109
(domain password 1 ComputerPassword) QoSontology.kif 2103-2103 The number 1 argument of password is an instance of computer password
(domain password 2 UserAccount) QoSontology.kif 2104-2104 The number 2 argument of password is an instance of user account
(instance password AsymmetricRelation) QoSontology.kif 2102-2102 password is an instance of asymmetric relation
(subrelation password names) QoSontology.kif 2101-2101 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 44653-44653
(termFormat ChineseTraditionalLanguage password "密碼") domainEnglishFormat.kif 44652-44652
(termFormat EnglishLanguage password "password") domainEnglishFormat.kif 44651-44651

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 4347-4364
(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))
ComputingBrands.kif 1996-2001
(=>
    (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 3999-4012

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 3999-4012
(=>
    (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 4063-4073
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?User)))
QoSontology.kif 2094-2097


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 is open source software produced by Articulate Software and its partners