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


KB Term:  Term intersection
English Word: 

Sigma KEE - accountAtSite
accountAtSite

appearance as argument number 1
-------------------------


(instance accountAtSite BinaryPredicate) UXExperimentalTerms.kif 624-624 account at site is an instance of binary predicate
(domain accountAtSite 1 UserAccount) UXExperimentalTerms.kif 626-626 The number 1 argument of account at site is an instance of user account
(domain accountAtSite 2 WebSite) UXExperimentalTerms.kif 627-627 The number 2 argument of account at site is an instance of web site
(documentation accountAtSite EnglishLanguage "(accountAtSite ?ACCT ?SITE) means that the UserAccount ?ACCT is associate with the WebSite ?SITE.") UXExperimentalTerms.kif 629-630 The number 2 argument of account at site is an instance of web site

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage accountAtSite "account at site") UXExperimentalTerms.kif 625-625
(format EnglishLanguage accountAtSite "%1 is an account at %2") domainEnglishFormat.kif 2672-2672
(format ChineseTraditionalLanguage accountAtSite "%1 %n 是在 %2 的 account ") domainEnglishFormat.kif 2673-2673
(format ChineseLanguage accountAtSite "%1 %n 是在 %2 的 account ") domainEnglishFormat.kif 2674-2674

antecedent
-------------------------


(=>
    (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
(=>
    (accountAtSite ?ACCT ?SITE)
    (exists (?DATABASE ?SITE_OWNER)
        (and
            (instance ?DATABASE Database)
            (instance ?SITE_OWNER AutonomousAgent)
            (possesses ?SITE_OWNER ?SITE)
            (possesses ?SITE_OWNER ?DATABASE)
            (part ?ACCT ?DATABASE))))		 UXExperimentalTerms.kif 632-640 If X is an account at Y, then there exist Z, ?SITE_OWNER such that Z is an instance of database, ?SITE_OWNER is an instance of agent, ?SITE_OWNER possesses Y, ?SITE_OWNER possesses Z, and X is a part of Z
(=>
    (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

consequent
-------------------------


(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))		 UXExperimentalTerms.kif 873-879 If X is a registered user of Y, then there exists Z such that Z is an instance of user account, X has account Z, and Z is an account at Y
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))		 UXExperimentalTerms.kif 1728-1747 If X is an instance of financial transaction and business to business transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) business account is an attribute of Y (15) business account is an attribute of Z
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1760-1779 If X is an instance of financial transaction and business to consumer transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) business account is an attribute of Y (15) consumer account is an attribute of Z
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1792-1811 If X is an instance of financial transaction and consumer to consumer transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) consumer account is an attribute of Y (15) consumer account is an attribute of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners