hasAccount |
appearance as argument number 1 |
(documentation hasAccount EnglishLanguage "(hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account.") | QoSontology.kif 2072-2073 | |
(domain hasAccount 1 AutonomousAgent) | QoSontology.kif 2070-2070 | hasAccount の数値 1 引数は AutonomousAgent の instance では %n |
(domain hasAccount 2 UserAccount) | QoSontology.kif 2071-2071 | hasAccount の数値 2 引数は UserAccount の instance では %n |
(instance hasAccount AsymmetricRelation) | QoSontology.kif 2069-2069 | hasAccount は 非対称関係 の instance では %n |
(subrelation hasAccount possesses) | QoSontology.kif 2068-2068 | hasAccount は possesses の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage hasAccount "%1 有 account %2 ") | domainEnglishFormat.kif 3602-3602 | |
(format ChineseTraditionalLanguage hasAccount "%1 有 account %2 ") | domainEnglishFormat.kif 3601-3601 | |
(format EnglishLanguage hasAccount "%1 has account %2") | domainEnglishFormat.kif 3600-3600 | |
(termFormat ChineseLanguage hasAccount "有帐户") | domainEnglishFormat.kif 27498-27498 | |
(termFormat ChineseTraditionalLanguage hasAccount "有帳戶") | domainEnglishFormat.kif 27497-27497 | |
(termFormat EnglishLanguage hasAccount "has account") | domainEnglishFormat.kif 27496-27496 |
antecedent |
consequent |