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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Industry
industrial, industry, sunrise_industry

appearance as argument number 1

(documentation Industry EnglishLanguage "The class of Collections of Corporations which are in the same line of business.") Mid-level-ontology.kif 12712-12713
(externalImage Industry " 3d/ Gdp-and-labour-force-by-sector.png") pictureList.kif 6629-6629 " Gdp-and-labour-force-by-sector.png" is a URL depicting industry
(subclass Industry Collection) Mid-level-ontology.kif 12711-12711 Industry is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage Industry "industry") domainEnglishFormat.kif 5400-5400 "industry" is the printable form of industry in english language


    (instance ?INDUSTRY Industry)
            (member ?MEMB1 ?INDUSTRY)
            (member ?MEMB2 ?INDUSTRY))
        (exists (?CLASS)
                (subclass ?CLASS Corporation)
                (immediateInstance ?MEMB1 ?CLASS)
                (immediateInstance ?MEMB2 ?CLASS)))))
Mid-level-ontology.kif 12715-12725


    (instance ?ORG UnionOrganization)
    (exists (?COLL)
            (member ?MEMBER ?ORG)
                    (instance ?COLL Corporation)
                    (employs ?COLL ?MEMBER))
                (exists (?CORP)
                        (instance ?COLL Industry)
                        (member ?CORP ?COLL)
                        (employs ?CORP ?MEMBER)))))))
Mid-level-ontology.kif 8267-8280

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners