TreeView Knowledge Base Browser - accountAtSite

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - accountAtSite

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 2670-2670
(format ChineseTraditionalLanguage accountAtSite "%1 %n 是在 %2 的 account ")	domainEnglishFormat.kif 2669-2669
(format EnglishLanguage accountAtSite "%1 is an account at %2")	domainEnglishFormat.kif 2668-2668
(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	Wenn accountAtSite UserAccount and WebSite, dann es gibt Object und WebSite_OWNER um Object ist ein fall von Database %n{nicht} und WebSite_OWNER ist ein fall von AutonomousAgent %n{nicht} und WebSite_OWNER besitzt WebSite %n{nicht} und WebSite_OWNER besitzt Object %n{nicht} und UserAccount ist ein teil von ** Object %n{nicht}
(=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 881-885	Wenn accountAtSite UserAccount and WebSite und hasAccount AutonomousAgent and UserAccount, dann registeredUser AutonomousAgent and ** WebSite
(=> (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	Wenn Process ist ein fall von LoggingIn %n{nicht} und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und TimeInterval ist gleich sofort nach die zeit des Bestehens von Process %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von ComputerProcess %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und WebSite ist ein patient von entity %n{nicht} haelt waehrend TimeInterval %n{nicht} hat die modale Kraft von Possibility

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 1727-1746	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToBusiness ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und BusinessAccount ist ein attribut von UserAccount %n{nicht} und BusinessAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (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 1759-1778	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToConsumer ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und BusinessAccount ist ein attribut von UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (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 1791-1810	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und ConsumerToConsumer ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und ConsumerAccount ist ein attribut von UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE))))	UXExperimentalTerms.kif 873-879	Wenn registeredUser AutonomousAgent and WebSite, dann es gibt UserAccount um UserAccount ist ein fall von UserAccount %n{nicht} und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and ** WebSite

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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