accountAtSite |
appearance as argument number 1 |
(documentation accountAtSite EnglishLanguage "(accountAtSite ?ACCT ?SITE) means that the UserAccount ?ACCT is associate with the WebSite ?SITE.") | UXExperimentalTerms.kif 629-630 | |
(domain accountAtSite 1 UserAccount) | UXExperimentalTerms.kif 626-626 | Le nombre 1 argument de accountAtSite est une instance de UserAccount |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | Le nombre 2 argument de accountAtSite est une instance de WebSite |
(instance accountAtSite BinaryPredicate) | UXExperimentalTerms.kif 624-624 | accountAtSite est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage accountAtSite "%1 %n 是在 %2 的 account ") | domainEnglishFormat.kif 2678-2678 | |
(format ChineseTraditionalLanguage accountAtSite "%1 %n 是在 %2 的 account ") | domainEnglishFormat.kif 2677-2677 | |
(format EnglishLanguage accountAtSite "%1 is an account at %2") | domainEnglishFormat.kif 2676-2676 | |
(termFormat EnglishLanguage accountAtSite "account at site") | UXExperimentalTerms.kif 625-625 |
antecedent |
consequent |