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 2105-2108
(domain password 1 ComputerPassword) QoSontology.kif 2102-2102 密码 的 1 数量 是 电脑密码 的 instance
(domain password 2 UserAccount) QoSontology.kif 2103-2103 密码 的 2 数量 是 用户帐号 的 instance
(instance password AsymmetricRelation) QoSontology.kif 2101-2101 密码 是 非对称关系 的 instance
(subrelation password names) QoSontology.kif 2100-2100 密码 是 命名 的 subrelation

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 44707-44707
(termFormat ChineseTraditionalLanguage password "密碼") domainEnglishFormat.kif 44706-44706
(termFormat EnglishLanguage password "password") domainEnglishFormat.kif 44705-44705

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 4390-4407
(=>
    (and
        (instance ?AID AppleID)
        (password ?AID ?N)
        (equal ?L
            (StringLengthFn ?N)))
    (greaterThan ?L 7))		 ComputingBrands.kif 1986-1991
(=>
    (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 4042-4055

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 4042-4055
(=>
    (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 4106-4116
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?User)))		 QoSontology.kif 2093-2096


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