userName - Sigma Knowledge base Browser

appearance as argument number 1

(documentation userName EnglishLanguage "(userName ?Name ?User) means that ?Name is the name the ComputerUser uses to identify himself or herself when logging onto a UserAccount on a computer system.")	QoSontology.kif 2068-2070
(domain userName 1 UserAccount)	QoSontology.kif 2066-2066	The number 1 argument of userName is an instance of user account
(domain userName 2 UserName)	QoSontology.kif 2067-2067	The number 2 argument of userName is an instance of user name
(instance userName AsymmetricRelation)	QoSontology.kif 2065-2065	userName is an instance of asymmetric relation
(subrelation userName names)	QoSontology.kif 2064-2064	userName is a subrelation of names

appearance as argument number 2

(format ChineseLanguage userName "%1 的 user name 是 %2 ")	domainEnglishFormat.kif 4903-4903
(format ChineseTraditionalLanguage userName "%1 的 user name 是 %2 ")	domainEnglishFormat.kif 4902-4902
(format EnglishLanguage userName "the user name of %1 is %2")	domainEnglishFormat.kif 4901-4901

antecedent

(=>
    (and
        (instance ?CP ChangingUserName)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (userName ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (instance ?N2 UserName)
                (not
                    (equal ?N2 ?N1))
                (userName ?UA ?N2)))))

ComputingBrands.kif 4026-4039

If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name,
then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process

consequent

(=> (and (instance ?CP ChangingUserName) (agent ?CP ?A) (hasAccount ?A ?UA) (userName ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (instance ?N2 UserName) (not (equal ?N2 ?N1)) (userName ?UA ?N2)))))	ComputingBrands.kif 4026-4039	If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name, then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process
(=> (and (instance ?CP CreatingAnAccount) (agent ?CP ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?UA ?P1 ?N) (and (hasAccount ?A ?UA) (password ?P1 ?UA) (userName ?UA ?N)))))	ComputingBrands.kif 4068-4078	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
(=> (hasAccount ?User ?Account) (exists (?Name) (userName ?Account ?Name)))	QoSontology.kif 2057-2060	If an agent has account an user account, then there exists an user name such that the user name of the user account is the user name
(=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E))))	ComputingBrands.kif 2012-2017	If an user account is an instance of Apple ID, then there exists an user name such that the user name is an instance of EmailAddress and the user name of the user account is the user name

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

KB Term:			Term intersection

English Word: