hasAccount |
appearance as argument number 1 |
![]() |
(documentation hasAccount EnglishLanguage "(hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account.") | QoSontology.kif 2204-2205 | |
(domain hasAccount 1 AutonomousAgent) | QoSontology.kif 2202-2202 | hasAccount の数値 1 引数は AutonomousAgent の instance では |
(domain hasAccount 2 UserAccount) | QoSontology.kif 2203-2203 | hasAccount の数値 2 引数は UserAccount の instance では |
(instance hasAccount AsymmetricRelation) | QoSontology.kif 2200-2200 | hasAccount は 非対称関係 の instance では |
(instance hasAccount BinaryRelation) | QoSontology.kif 2201-2201 | hasAccount は 2項関係 の instance では |
(subrelation hasAccount possesses) | QoSontology.kif 2199-2199 | hasAccount は possesses の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage hasAccount "%1 有 account %2 ") | domainEnglishFormat.kif 3600-3600 | |
(format ChineseTraditionalLanguage hasAccount "%1 有 account %2 ") | domainEnglishFormat.kif 3599-3599 | |
(format EnglishLanguage hasAccount "%1 has account %2") | domainEnglishFormat.kif 3598-3598 | |
(termFormat ChineseLanguage hasAccount "有帐户") | domainEnglishFormat.kif 27509-27509 | |
(termFormat ChineseTraditionalLanguage hasAccount "有帳戶") | domainEnglishFormat.kif 27508-27508 | |
(termFormat EnglishLanguage hasAccount "has account") | domainEnglishFormat.kif 27507-27507 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |