TreeView 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 2067-2069
(domain userName 1 UserAccount)	QoSontology.kif 2065-2065	domain userName, 1 and UserAccount
(domain userName 2 UserName)	QoSontology.kif 2066-2066	domain userName, 2 and UserName
(instance userName AsymmetricRelation)	QoSontology.kif 2064-2064	instance userName and AsymmetricRelation
(subrelation userName names)	QoSontology.kif 2063-2063	subrelation userName and names

appearance as argument number 2

(format ChineseLanguage userName "%1 的 user name 是 %2 ")	domainEnglishFormat.kif 4907-4907
(format ChineseTraditionalLanguage userName "%1 的 user name 是 %2 ")	domainEnglishFormat.kif 4906-4906
(format EnglishLanguage userName "the user name of %1 is %2")	domainEnglishFormat.kif 4905-4905

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

instance Process and ChangingUserName agent Process and Agent hasAccount Agent and UserAccount userName UserAccount and UserName
holdsDuring ImmediateFutureFn WhenFn Process and entity instance entity and UserName equal entity and UserName userName UserAccount and entity

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 4064-4077	instance Process and ChangingUserName agent Process and Agent hasAccount Agent and UserAccount userName UserAccount and UserName holdsDuring ImmediateFutureFn WhenFn Process and entity instance entity and UserName equal entity and UserName userName UserAccount and entity
(=> (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 4106-4116	instance Process and CreatingAnAccount agent Process and Agent holdsDuring ImmediateFutureFn WhenFn Process and entity entity and entity hasAccount Agent and entity password entity and entity userName entity and entity
(=> (hasAccount ?User ?Account) (exists (?Name) (userName ?Account ?Name)))	QoSontology.kif 2056-2059	hasAccount Agent and UserAccount UserName userName UserAccount and UserName
(=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E))))	ComputingBrands.kif 2000-2005	instance UserAccount and Apple ID UserName instance UserName and EmailAddress userName UserAccount and UserName

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

KB Term:			Term intersection

English Word: