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 | Il numero 1 argomenti di accountAtSite è un istanza di UserAccount |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | Il numero 2 argomenti di accountAtSite è un istanza di WebSite |
(instance accountAtSite BinaryPredicate) | UXExperimentalTerms.kif 624-624 | accountAtSite è un' istanza di PredicatoBinario |
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 |