password - Sigma Knowledge base Browser

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 2206-2209
(domain password 1 ComputerPassword)	QoSontology.kif 2203-2203	The number 1 argument of password is an instance of computer password
(domain password 2 UserAccount)	QoSontology.kif 2204-2204	The number 2 argument of password is an instance of user account
(instance password AsymmetricRelation)	QoSontology.kif 2202-2202	password is an instance of asymmetric relation
(subrelation password names)	QoSontology.kif 2201-2201	password is a subrelation of names

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 44763-44763
(termFormat ChineseTraditionalLanguage password "密碼")	domainEnglishFormat.kif 44762-44762
(termFormat EnglishLanguage password "password")	domainEnglishFormat.kif 44761-44761

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	If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
(=> (and (instance ?AID AppleID) (password ?AID ?N) (equal ?L (StringLengthFn ?N))) (greaterThan ?L 7))	ComputingBrands.kif 2018-2023	If a computer password is an instance of Apple ID and a symbolic string has password the computer password and a nonnegative integer is equal to the length of the symbolic string, then the nonnegative integer is greater than 7
(=> (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	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password the entity holds during immediately after the time of existence of the process

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	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password the entity holds during immediately after the time of existence of the process
(=> (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	If a process is an instance of creating an account and an agent is an agent of the process, then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process
(=> (hasAccount ?User ?Account) (exists (?Password) (password ?Password ?Account)))	QoSontology.kif 2194-2197	If an agent has account an user account, then there exists a computer password such that the user account has password the computer password

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