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 780-781 | |
(domain accountAtSite 1 UserAccount) | UXExperimentalTerms.kif 776-776 | domain accountAtSite, 1 and UserAccount |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 778-778 | domain accountAtSite, 2 and WebSite |
(instance accountAtSite BinaryPredicate) | UXExperimentalTerms.kif 772-772 | instance accountAtSite and BinaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage accountAtSite "%1 %n 是在 %2 的 account ") | domainEnglishFormat.kif 2679-2679 | |
(format ChineseTraditionalLanguage accountAtSite "%1 %n 是在 %2 的 account ") | domainEnglishFormat.kif 2678-2678 | |
(format EnglishLanguage accountAtSite "%1 is an account at %2") | domainEnglishFormat.kif 2677-2677 | |
(termFormat EnglishLanguage accountAtSite "account at site") | UXExperimentalTerms.kif 774-774 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |