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 | 域 accountAtSite, 1 and 用戶帳號 |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | 域 accountAtSite, 2 and WebSite |
(instance accountAtSite BinaryPredicate) | UXExperimentalTerms.kif 624-624 | 例 accountAtSite and BinaryPredicate |
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 |
(=> (accountAtSite ?ACCT ?SITE) (exists (?DATABASE ?SITE_OWNER) (and (instance ?DATABASE Database) (instance ?SITE_OWNER AutonomousAgent) (possesses ?SITE_OWNER ?SITE) (possesses ?SITE_OWNER ?DATABASE) (part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 632-640 | |
(=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 881-885 |
|
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (accountAtSite ?A ?S) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (patient ?P ?S)))) Possibility)) |
ComputingBrands.kif 3972-3986 |
consequent |