| 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 | |
| (domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | |
| (instance accountAtSite BinaryPredicate) | UXExperimentalTerms.kif 624-624 |
| 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 |
|
|
| (=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 BusinessAccount)))) |
UXExperimentalTerms.kif 1735-1754 | |
| (=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 ConsumerAccount)))) |
UXExperimentalTerms.kif 1767-1786 | |
| (=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 ConsumerAccount) (attribute ?ACCT2 ConsumerAccount)))) |
UXExperimentalTerms.kif 1799-1818 | |
| (=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE)))) |
UXExperimentalTerms.kif 873-879 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners