consequent

! [V__A : $i,V__CP : $i] : (((s__instance(V__CP, s__CreatingAnAccount) & s__agent(V__CP, V__A)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__CP)), ( ? [V__UA:$i, V__P1:$i, V__N:$i] : ((s__hasAccount(V__A, V__UA) & s__password(V__P1, V__UA) & s__userName(V__UA, V__N)))))))	ComputingBrands.kif 4138-4148	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
! [V__AC : $i,V__A : $i,V__D : $i] : (((s__instance(V__D, s__DeletingAnAccount) & s__instance(V__AC, s__Account) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__D)), s__hasAccount(V__A, V__AC)) & s__patient(V__D, V__AC) & s__agent(V__D, V__A)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__D)), ~(s__hasAccount(V__A, V__AC)))))	ComputingBrands.kif 4561-4571	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account the entity holds during immediately after the time of existence of the process
! [V__U : $i,V__LI : $i] : (((s__instance(V__LI, s__LoggingIn) & s__agent(V__LI, V__U)) => ( ? [V__A:$i] : (s__hasAccount(V__U, V__A)))))	ComputingBrands.kif 3960-3965	If a process is an instance of logging in and an agent is an agent of the process, then there exists an user account such that the agent has account the user account
! [V__TRANS : $i] : (((s__instance(V__TRANS, s__FinancialTransaction) & s__attribute(V__TRANS, s__BusinessToBusiness)) => ( ? [V__ACCT1:$i, V__ACCT2:$i, V__USER1:$i, V__USER2:$i, V__SITE:$i] : ((s__instance(V__ACCT1, s__UserAccount) & s__instance(V__ACCT2, s__UserAccount) & s__instance(V__USER1, s__AutonomousAgent) & s__instance(V__USER2, s__AutonomousAgent) & s__instance(V__SITE, s__WebSite) & s__agent(V__TRANS, V__USER1) & s__destination(V__TRANS, V__USER2) & s__instrument(V__TRANS, V__SITE) & s__hasAccount(V__USER1, V__ACCT1) & s__hasAccount(V__USER2, V__ACCT2) & s__accountAtSite(V__ACCT1, V__SITE) & s__accountAtSite(V__ACCT2, V__SITE) & s__attribute(V__ACCT1, s__BusinessAccount) & s__attribute(V__ACCT2, s__BusinessAccount))))))	UXExperimentalTerms.kif 1727-1746	If an object is an instance of financial transaction and business to business transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and business account is an attribute of the other user account
! [V__TRANS : $i] : (((s__instance(V__TRANS, s__FinancialTransaction) & s__attribute(V__TRANS, s__BusinessToConsumer)) => ( ? [V__ACCT1:$i, V__ACCT2:$i, V__USER1:$i, V__USER2:$i, V__SITE:$i] : ((s__instance(V__ACCT1, s__UserAccount) & s__instance(V__ACCT2, s__UserAccount) & s__instance(V__USER1, s__AutonomousAgent) & s__instance(V__USER2, s__AutonomousAgent) & s__instance(V__SITE, s__WebSite) & s__agent(V__TRANS, V__USER1) & s__destination(V__TRANS, V__USER2) & s__instrument(V__TRANS, V__SITE) & s__hasAccount(V__USER1, V__ACCT1) & s__hasAccount(V__USER2, V__ACCT2) & s__accountAtSite(V__ACCT1, V__SITE) & s__accountAtSite(V__ACCT2, V__SITE) & s__attribute(V__ACCT1, s__BusinessAccount) & s__attribute(V__ACCT2, s__ConsumerAccount))))))	UXExperimentalTerms.kif 1759-1778	If an object is an instance of financial transaction and business to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and consumer account is an attribute of the other user account
! [V__TRANS : $i] : (((s__instance(V__TRANS, s__FinancialTransaction) & s__attribute(V__TRANS, s__ConsumerToConsumer)) => ( ? [V__ACCT1:$i, V__ACCT2:$i, V__USER1:$i, V__USER2:$i, V__SITE:$i] : ((s__instance(V__ACCT1, s__UserAccount) & s__instance(V__ACCT2, s__UserAccount) & s__instance(V__USER1, s__AutonomousAgent) & s__instance(V__USER2, s__AutonomousAgent) & s__instance(V__SITE, s__WebSite) & s__agent(V__TRANS, V__USER1) & s__destination(V__TRANS, V__USER2) & s__instrument(V__TRANS, V__SITE) & s__hasAccount(V__USER1, V__ACCT1) & s__hasAccount(V__USER2, V__ACCT2) & s__accountAtSite(V__ACCT1, V__SITE) & s__accountAtSite(V__ACCT2, V__SITE) & s__attribute(V__ACCT1, s__ConsumerAccount) & s__attribute(V__ACCT2, s__ConsumerAccount))))))	UXExperimentalTerms.kif 1791-1810	If an object is an instance of financial transaction and consumer to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and consumer account is an attribute of the user account and consumer account is an attribute of the other user account
! [V__Account : $i] : ((s__instance(V__Account, s__UserAccount) => ( ? [V__User:$i] : (s__hasAccount(V__User, V__Account)))))	QoSontology.kif 2171-2174	If an user account is an instance of user account, then there exists an agent such that the agent has account the user account
! [V__A : $i,V__T : $i,V__UA : $i] : ((s__loggedInDuring(V__A, V__UA, V__T) => ( ? [V__L:$i] : ((s__instance(V__L, s__LoggingIn) & s__agent(V__L, V__A) & s__patient(V__L, V__UA) & s__hasAccount(V__A, V__UA) & s__earlier(V__T, s__WhenFn(V__L)))))))	ComputingBrands.kif 4332-4340	If an agent is logged_in to an user account during a time interval, then there exists a process such that the process is an instance of logging in and the agent is an agent of the process and the user account is a patient of the process and the agent has account the user account and the time interval happens earlier than the time of existence of the process
! [V__USER : $i,V__SITE : $i] : ((s__registeredUser(V__USER, V__SITE) => ( ? [V__ACCT:$i] : ((s__instance(V__ACCT, s__UserAccount) & s__hasAccount(V__USER, V__ACCT) & s__accountAtSite(V__ACCT, V__SITE))))))	UXExperimentalTerms.kif 873-879	If an agent is a registered user of a web site, then there exists an user account such that the user account is an instance of user account and the agent has account the user account and the user account is an account at the web site

Show simplified definition (without tree view)
Show simplified definition (with tree view)