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 | Die Zahl 1 Argument von accountAtSite ist ein fall von UserAccount %n{nicht} |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | Die Zahl 2 Argument von accountAtSite ist ein fall von WebSite %n{nicht} |
(instance accountAtSite BinaryPredicate) | UXExperimentalTerms.kif 624-624 | accountAtSite ist ein fall von BinaryPredicate %n{nicht} |
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 |