TextileProductMills - Sigma Knowledge base Browser

antecedent

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

naics.kif 2085-2101

If a collection is an instance of organization and textile product mills 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 manufacture and the entity is an instance of fabric 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 TextileProductMills EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Textile Product Mills.")	naics.kif 2081-2083
(instance TextileProductMills IndustryAttribute)	naics.kif 2079-2079	Textile product mills is an instance of industry attribute
(subAttribute TextileProductMills TextileIndustry)	Economy.kif 1885-1885	Textile product mills is a subattribute of textile industry

(subAttribute OtherTextileProductMills TextileProductMills)	naics.kif 2135-2135	Other textile product mills is a subattribute of textile product mills
(subAttribute TextileFurnishingsMills TextileProductMills)	naics.kif 2103-2103	Textile furnishings mills is a subattribute of textile product mills
(termFormat ChineseLanguage TextileProductMills "纺织产品厂")	domainEnglishFormat.kif 57758-57758
(termFormat ChineseTraditionalLanguage TextileProductMills "紡織產品廠")	domainEnglishFormat.kif 57757-57757
(termFormat EnglishLanguage TextileProductMills "textile product mills")	domainEnglishFormat.kif 57756-57756

KB Term:			Term intersection

English Word: