Industry - Sigma Knowledge base Browser

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 15939-15940
(externalImage Industry "http://upload.wikimedia.org/wikipedia/commons/3/ 3d/ Gdp_and_labour_force_by_sector.png")	pictureList.kif 6627-6627
(subclass Industry Collection)	Mid-level-ontology.kif 15938-15938	Industry is a subclass of collection

appearance as argument number 2

(termFormat ChineseLanguage Industry "行业")	domainEnglishFormat.kif 29927-29927
(termFormat ChineseTraditionalLanguage Industry "行業")	domainEnglishFormat.kif 29926-29926
(termFormat EnglishLanguage Industry "industry")	domainEnglishFormat.kif 29925-29925

antecedent

(=>
    (instance ?INDUSTRY Industry)
    (exists (?MEMB1 ?MEMB2 ?CLASS)
        (and
            (member ?MEMB1 ?INDUSTRY)
            (member ?MEMB2 ?INDUSTRY)
            (subclass ?CLASS Corporation)
            (immediateInstance ?MEMB1 ?CLASS)
            (immediateInstance ?MEMB2 ?CLASS))))

Mid-level-ontology.kif 15944-15952

If a collection is an instance of industry,
then there exist a physical, another physical and a class such that the physical is a member of the collection and the other physical is a member of the collection and the class is a subclass of corporation and the physical is an immediate instance of the class and the other physical is an immediate instance of the class

consequent

(=> (and (instance ?ORG Organization) (attribute ?ORG PaperManufacturing)) (exists (?MEM ?EV ?THING) (and (instance ?MEM Industry) (member ?MEM ?ORG) (instance ?EV Manufacture) (agent ?EV ?MEM) (patient ?EV ?THING) (material Paper ?THING))))	naics.kif 2717-2728	If a collection is an instance of organization and paper manufacturing is an attribute of the collection, then there exist an agent, a process and a corpuscular object such that the agent is an instance of industry and the agent is a member of the collection and the process is an instance of manufacture and the agent is an agent of the process and the corpuscular object is a patient of the process and the corpuscular object is made of paper
(=> (instance ?ORG UnionOrganization) (exists (?COLL ?MEMBER) (=> (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 9317-9330	If a collection is an instance of union organization, then there exist an agent and a cognitive agent such that if the cognitive agent is a member of the collection, then the agent is an instance of corporation and the agent employs the cognitive agent or there exists another agent such that the agent is an instance of industry and the other agent is a member of the agent and the other agent employs the cognitive agent

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

KB Term:			Term intersection

English Word: