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 2232-2235
(domain password 1 ComputerPassword) QoSontology.kif 2229-2229
(domain password 2 UserAccount) QoSontology.kif 2230-2230
(instance password AsymmetricRelation) QoSontology.kif 2228-2228
(subrelation password names) QoSontology.kif 2227-2227

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


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

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 4422-4439
(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))
ComputingBrands.kif 2018-2023
(=>
    (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 4074-4087

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 4074-4087
(=>
    (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 4138-4148
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?Account)))
QoSontology.kif 2220-2223


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