TreeView 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 16373-16374
(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 16372-16372	Industry is a subclass of collection

appearance as argument number 2

(termFormat ChineseLanguage Industry "行业")	domainEnglishFormat.kif 29909-29909
(termFormat ChineseTraditionalLanguage Industry "行業")	domainEnglishFormat.kif 29908-29908
(termFormat EnglishLanguage Industry "industry")	domainEnglishFormat.kif 29907-29907

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 16378-16386

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 9745-9758	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 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

KB Term:			Term intersection

English Word: