| 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 | |
| (domain password 2 UserAccount) | QoSontology.kif 2104-2104 | |
| (instance password AsymmetricRelation) | QoSontology.kif 2102-2102 | |
| (subrelation password names) | QoSontology.kif 2101-2101 |
| 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 44719-44719 | |
| (termFormat ChineseTraditionalLanguage password "密碼") | domainEnglishFormat.kif 44718-44718 | |
| (termFormat EnglishLanguage password "password") | domainEnglishFormat.kif 44717-44717 |
| 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 4368-4385 | |
| (=> (and (instance ?AID AppleID) (password ?AID ?N) (equal ?L (StringLengthFn ?N))) (greaterThan ?L 7)) |
ComputingBrands.kif 2000-2005 | |
| (=> (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 4020-4033 |
| 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 4020-4033 | |
| (=> (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 4084-4094 | |
| (=> (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