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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Industry

Sigma KEE - Industry
Industry(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 "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Gdp-and-labour-force-by-sector.png") pictureList.kif 6629-6629 "http://upload.wikimedia.org/wikipedia/commons/3/3d/ 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

antecedent
-------------------------


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

consequent
-------------------------


(=>
    (instance ?ORG UnionOrganization)
    (exists (?COLL)
        (=>
            (member ?MEMBER ?ORG)
            (or
                (and
                    (instance ?COLL Corporation)
                    (employs ?COLL ?MEMBER))
                (exists (?CORP)
                    (and
                        (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