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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Account
Account

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


(documentation Account EnglishLanguage "An agreement to provide something over a period of time in return for providing compensation, which may just be access to a user's transactions or personal information.") ComputingBrands.kif 4469-4471
(subclass Account Agreement) ComputingBrands.kif 4464-4464 subclass Account and Agreement
(subclass Account ContentBearingObject) ComputingBrands.kif 4465-4465 subclass Account and ContentBearingObject

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


(subclass FinancialAccount Account) ComputingBrands.kif 4466-4466 subclass FinancialAccount and Account
(subclass UserAccount Account) ComputingBrands.kif 4467-4467 subclass UserAccount and Account
(termFormat EnglishLanguage Account "account") ComputingBrands.kif 4472-4472

appearance as argument number 3
-------------------------


(domain securityQA 3 Account) ComputingBrands.kif 4477-4477 domain securityQA, 3 and Account

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners