Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TextileProductMills

Sigma KEE - TextileProductMills
TextileProductMills(textile product mills)

appearance as argument number 1
-------------------------


(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 1896-1896 Textile product mills is a subattribute of textile industry

appearance as argument number 2
-------------------------


(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 57725-57725
(termFormat ChineseTraditionalLanguage TextileProductMills "紡織產品廠") domainEnglishFormat.kif 57724-57724
(termFormat EnglishLanguage TextileProductMills "textile product mills") domainEnglishFormat.kif 57723-57723

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


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