Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - accountInformation
accountInformation

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


(documentation accountInformation EnglishLanguage "The UserAccount has some information associated with it, such as a birthdate or mailing address.") ComputingBrands.kif 4354-4356
(domain accountInformation 1 UserAccount) ComputingBrands.kif 4352-4352
(domain accountInformation 2 Proposition) ComputingBrands.kif 4353-4353
(instance accountInformation BinaryPredicate) ComputingBrands.kif 4351-4351
(subrelation accountInformation containsInformation) ComputingBrands.kif 4350-4350

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


(format EnglishLanguage accountInformation "the account %1 has information %2") ComputingBrands.kif 4357-4357
(subrelation accountPhoneNumber accountInformation) ComputingBrands.kif 4096-4096
(termFormat EnglishLanguage accountInformation "account information") ComputingBrands.kif 4358-4358

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 4064-4076

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 4064-4076


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