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

If a collection is an instance of industry,
then
- if an object is a member of the collection and another object is a member of the collection,
- then there exists a set or class such that the set or class is a subclass of corporation and the object is an immediate instance of the set or class and the other object is an immediate instance of the set or class

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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: