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


KB Term:  Term intersection
English Word: 

  realGrowthRateOfGDP

 Sigma KEE - accountInformation
accountInformation

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


(subrelation accountInformation containsInformation) ComputingBrands.kif 4315-4315 account information is a subrelation of contains information
(instance accountInformation BinaryPredicate) ComputingBrands.kif 4316-4316 account information is an instance of binary predicate
(domain accountInformation 1 UserAccount) ComputingBrands.kif 4317-4317 The number 1 argument of account information is an instance of user account
(domain accountInformation 2 Proposition) ComputingBrands.kif 4318-4318 The number 2 argument of account information is an instance of proposition
(documentation accountInformation EnglishLanguage "The UserAccount has some information associated with it, such as a birthdate or mailing address.") ComputingBrands.kif 4319-4321 The number 2 argument of account information is an instance of proposition

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


(subrelation accountPhoneNumber accountInformation) ComputingBrands.kif 4061-4061 account phone number is a subrelation of account information
(format EnglishLanguage accountInformation "the account %1 has information %2") ComputingBrands.kif 4322-4322 account phone number is a subrelation of account information
(termFormat EnglishLanguage accountInformation "account information") ComputingBrands.kif 4323-4323 account phone number is a subrelation of account information

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


(=>
    (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

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


(=>
    (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


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

Show without tree

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