(=>
(and
(instance ?LI LoggingIn)
(hasAccount ?U ?A)
(accountAtSite ?A ?S)
(equal ?T
(ImmediateFutureFn
(WhenFn ?LI)))
(agent ?LI ?U))
(modalAttribute
(holdsDuring ?T
(exists (?P)
(and
(instance ?P ComputerProcess)
(agent ?P ?U)
(patient ?P ?S)))) Possibility)) |
ComputingBrands.kif 3878-3892 |
If X is an instance of logging in, Y has account Z, Z is an account at W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is a patient of U holds during V has the modal force of possibility |
(=>
(and
(instance ?LI LoggingIn)
(hasAccount ?U ?A)
(deviceAccount ?A ?C)
(equal ?T
(ImmediateFutureFn
(WhenFn ?LI)))
(agent ?LI ?U))
(modalAttribute
(holdsDuring ?T
(exists (?P)
(and
(instance ?P ComputerProcess)
(agent ?P ?U)
(instrument ?P ?C)))) Possibility)) |
ComputingBrands.kif 3894-3908 |
If X is an instance of logging in, Y has account Z, device account Z and W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is an instrument for U holds during V has the modal force of possibility |
(=>
(and
(instance ?LF LoginFailure)
(agent ?LF ?A)
(hasAccount ?A ?AC))
(holdsDuring
(WhenFn ?LF)
(not
(exists (?L)
(and
(agent ?L ?A)
(instance ?L LoggingIn)
(patient ?L ?AC)))))) |
ComputingBrands.kif 3915-3926 |
If X is an instance of login failure, Y is an agent of X, and Y has account Z, then there doesn't exist W such that Y is an agent of W, W is an instance of logging in, and Z is a patient of W holds during the time of existence of X |
(=>
(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 3985-3998 |
If X is an instance of change password, Y is an agent of X, Y has account Z, and Z has password W, then there exists V such that V is an instance of computer password, equal V, W, and Z has password V holds during immediately after the time of existence of X |
(=>
(and
(instance ?CP ChangingUserName)
(agent ?CP ?A)
(hasAccount ?A ?UA)
(userName ?UA ?N1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CP))
(exists (?N2)
(and
(instance ?N2 UserName)
(not
(equal ?N2 ?N1))
(userName ?UA ?N2))))) |
ComputingBrands.kif 4007-4020 |
If X is an instance of change user name, Y is an agent of X, Y has account Z, and the user name of Z is W, then there exists V such that V is an instance of user name, equal V, W, and the user name of Z is V holds during immediately after the time of existence of X |
(=>
(and
(instance ?CP ChangingAccountInfo)
(agent ?CP ?A)
(hasAccount ?A ?UA)
(accountInformation ?UA ?N1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?CP))
(exists (?N2)
(and
(not
(equal ?N2 ?N1))
(accountInformation ?UA ?N2))))) |
ComputingBrands.kif 4029-4041 |
If X is an instance of change account information, Y is an agent of X, Y has account Z, and the account Z has information W, then there exists V such that equal V, W, and the account Z has information V holds during immediately after the time of existence of X |
(=>
(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 4333-4350 |
If All of the following hold: (1) X has account Y (2) Y has password Z (3) device account Y and W (4) X doesn't know Y has password Z (5) X knows the account Y has recovery key V (6) X possesses W, then the statement there exists U such that U is an instance of change password, Y is a patient of U, and X is an agent of U has the modal force of possibility |
(=>
(and
(instance ?D DeletingAnAccount)
(instance ?AC Account)
(holdsDuring
(ImmediatePastFn
(WhenFn ?D))
(hasAccount ?A ?AC))
(patient ?D ?AC)
(agent ?D ?A))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?D))
(not
(hasAccount ?A ?AC)))) |
ComputingBrands.kif 4477-4487 |
If X is an instance of deleting an account, Y is an instance of account, Z has account Y holds during immediately before the time of existence of X, Y is a patient of X, and Z is an agent of X, then Z has account Y holds during immediately after the time of existence of X |
(=>
(and
(instance ?FBACCOUNT FacebookAccount)
(hasAccount ?USER ?FBACCOUNT))
(and
(age ?USER
(MeasureFn ?NUMBER YearDuration))
(modalAttribute
(not
(greaterThanOrEqualTo ?NUMBER 13)) Prohibition))) |
Facebook.kif 143-151 |
If X is an instance of Facebook account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 13 has the modal force of prohibition |
(=>
(hasAccount ?User ?Account)
(exists (?Name)
(userName ?Account ?Name))) |
QoSontology.kif 2175-2178 |
If X has account Y, then there exists Z such that the user name of Y is Z |
(=>
(holdsDuring ?T
(hasAccount ?A ?UA))
(holdsDuring ?T
(attribute ?A ComputerUser))) |
QoSontology.kif 2199-2203 |
If X has account Y holds during Z, then computer user is an attribute of X holds during Z |
(=>
(hasAccount ?User ?Account)
(exists (?Password)
(password ?Password ?Account))) |
QoSontology.kif 2212-2215 |
If X has account Y, then there exists Z such that Y has password Z |
(=>
(and
(instance ?ACCOUNT UserAccount)
(attribute ?ACCOUNT BusinessAccount)
(hasAccount ?USER ?ACCOUNT))
(instance ?USER Business)) |
UXExperimentalTerms.kif 660-665 |
If X is an instance of user account, business account is an attribute of X, and Y has account X, then Y is an instance of business |
(=>
(and
(accountAtSite ?ACCOUNT ?SITE)
(hasAccount ?USER ?ACCOUNT))
(registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 881-885 |
If X is an account at Y and Z has account X, then Z is a registered user of Y |
(=>
(and
(userIDString ?STRING ?ACCOUNT)
(hasAccount ?USER ?ACCOUNT))
(represents ?STRING ?USER)) |
UXExperimentalTerms.kif 1099-1103 |
If the ID for X is Y and Z has account X, then Y expresses Z |
(=>
(and
(instance ?LIACCOUNT LinkedInAccount)
(hasAccount ?USER ?LIACCOUNT))
(and
(age ?USER
(MeasureFn ?NUMBER YearDuration))
(modalAttribute
(not
(greaterThanOrEqualTo ?NUMBER 18)) Prohibition))) |
LinkedInDegrees.kif 480-489 |
If X is an instance of LinkedIn account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 18 has the modal force of prohibition |
