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 2193-2195
(domain userName 1 UserAccount)	QoSontology.kif 2191-2191	userName の数値 1 引数は UserAccount の instance では %n
(domain userName 2 UserName)	QoSontology.kif 2192-2192	userName の数値 2 引数は UserName の instance では %n
(instance userName AsymmetricRelation)	QoSontology.kif 2190-2190	userName は非対称関係の instance では %n
(subrelation userName names)	QoSontology.kif 2189-2189	userName は names の subrelation では %n

appearance as argument number 2

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

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 4096-4109

工程は ChangingUserName の instance では %n AutonomousAgent は工程の agent では %n hasAccount AutonomousAgent and UserAccount userName UserAccount and UserName
エンティティーエンティティーは UserName の instance では %n エンティティーは UserName と equal では userName UserAccount and エンティティーは工程の time の existence のすぐ after の during holds %n{ない}

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 4096-4109	工程は ChangingUserName の instance では %n AutonomousAgent は工程の agent では %n hasAccount AutonomousAgent and UserAccount userName UserAccount and UserName エンティティーエンティティーは UserName の instance では %n エンティティーは UserName と equal では userName UserAccount and エンティティーは工程の time の existence のすぐ after の during holds %n{ない}
(=> (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 4138-4148	工程は CreatingAnAccount の instance では %n AutonomousAgent は工程の agent では %n エンティティーエンティティー and エンティティー hasAccount AutonomousAgent and エンティティー password エンティティー and エンティティー userName エンティティー and エンティティーは工程の time の existence のすぐ after の during holds %n{ない}
(=> (hasAccount ?User ?Account) (exists (?Name) (userName ?Account ?Name)))	QoSontology.kif 2182-2185	hasAccount AutonomousAgent and UserAccount UserName userName UserAccount and UserName
(=> (instance ?AID AppleID) (exists (?E) (and (instance ?E EmailAddress) (userName ?AID ?E))))	ComputingBrands.kif 2032-2037	UserAccount は Apple ID の instance では %n UserName UserName は EmailAddress の instance では %n userName UserAccount and UserName

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

KB Term:			Term intersection

English Word: