TreeView Knowledge Base Browser - broker

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - broker

broker

appearance as argument number 1

(instance broker CaseRole)	UXExperimentalTerms.kif 1681-1681	broker is an instance of case role
(domain broker 1 FinancialTransaction)	UXExperimentalTerms.kif 1686-1686	The number 1 argument of broker is an instance of financial transaction
(domain broker 2 AutonomousAgent)	UXExperimentalTerms.kif 1687-1687	The number 2 argument of broker is an instance of agent
(documentation broker EnglishLanguage "This CaseRole relates an instance of a FinancialTransaction to the Broker of the sale.")	UXExperimentalTerms.kif 1689-1690	The number 2 argument of broker is an instance of agent

appearance as argument number 2

(termFormat EnglishLanguage broker "broker")	UXExperimentalTerms.kif 1683-1683
(format EnglishLanguage broker "%2 brokers the sale of %1")	UXExperimentalTerms.kif 1684-1684
(subrelation eCommerceSite broker)	UXExperimentalTerms.kif 1712-1712	e_commerce site is a subrelation of broker

antecedent

(=>
(broker ?SALE ?AGENT)
(attribute ?AGENT Broker))

UXExperimentalTerms.kif 1692-1694

If X brokers the sale of Y, then broker is an attribute of X

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners