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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 password の数値 1 引数は ComputerPassword の instance では %n
(domain password 2 UserAccount) QoSontology.kif 2098-2098 password の数値 2 引数は UserAccount の instance では %n
(instance password AsymmetricRelation) QoSontology.kif 2096-2096 password は 非対称関係 の instance では %n
(subrelation password names) QoSontology.kif 2095-2095 password は names の subrelation では %n

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
(=>
    (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 4079-4092

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
(=>
    (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
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?Account)))		 QoSontology.kif 2088-2091


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