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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Industry
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 12737-12738
(externalImage Industry "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Gdp-and-labour-force-by-sector.png") pictureList.kif 6629-6629
(subclass Industry Collection) Mid-level-ontology.kif 12736-12736 subclass Industry and Collection

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


(termFormat ChineseLanguage Industry "行业") domainEnglishFormat.kif 29818-29818
(termFormat ChineseTraditionalLanguage Industry "行業") domainEnglishFormat.kif 29817-29817
(termFormat EnglishLanguage Industry "industry") domainEnglishFormat.kif 29816-29816

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 12740-12750

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 8249-8262


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