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 14455-14456
(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 14454-14454	Industry is a subclass of collection

appearance as argument number 2

(termFormat ChineseLanguage Industry "行业")	domainEnglishFormat.kif 29886-29886
(termFormat ChineseTraditionalLanguage Industry "行業")	domainEnglishFormat.kif 29885-29885
(termFormat EnglishLanguage Industry "industry")	domainEnglishFormat.kif 29884-29884

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 14458-14468

If a collection is an instance of industry,
then
- if a physical is a member of the collection and another physical is a member of the collection,
- then there exists a class such that 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 ?THING Paper))))	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 kind of substance 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 a kind of substance is a patient of the process and paper is made of the kind of substance
(=> (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 8147-8160	If a collection is an instance of union organization, then there exists an agent such that if a 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: