WholesaleTrade - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WholesaleTrade))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))

naics.kif 6375-6391

If a collection is an instance of organization and wholesale trade is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of selling and the entity is an instance of object and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2

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

(documentation WholesaleTrade EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Wholesale Trade.")	naics.kif 6371-6373
(instance WholesaleTrade IndustryAttribute)	naics.kif 6369-6369	Wholesale trade is an instance of industry attribute

(subAttribute WholesaleTradeDurableGoods WholesaleTrade)	naics.kif 6393-6393	Wholesale trade durable goods is a subattribute of wholesale trade
(subAttribute WholesaleTradeNondurableGoods WholesaleTrade)	naics.kif 6737-6737	Wholesale trade nondurable goods is a subattribute of wholesale trade
(termFormat ChineseLanguage WholesaleTrade "批发贸易")	domainEnglishFormat.kif 63058-63058	Wholesale trade nondurable goods is a subattribute of wholesale trade
(termFormat ChineseTraditionalLanguage WholesaleTrade "批發貿易")	domainEnglishFormat.kif 63057-63057	Wholesale trade nondurable goods is a subattribute of wholesale trade
(termFormat EnglishLanguage WholesaleTrade "wholesale trade")	domainEnglishFormat.kif 63056-63056	Wholesale trade nondurable goods is a subattribute of wholesale trade

KB Term:			Term intersection

English Word: