industryServiceType - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - industryServiceType

industryServiceType

appearance as argument number 1

(documentation industryServiceType EnglishLanguage "(industryServiceType ?INDUSTRY ?TYPE) means that organizations with the IndustryAttribute ?INDUSTRY provide services of the kind ?TYPE.")	Economy.kif 1765-1767
(domain industryServiceType 1 IndustryAttribute)	Economy.kif 1762-1762	The number 1 argument of industry service type is an instance of industry attribute
(domainSubclass industryServiceType 2 IntentionalProcess)	Economy.kif 1763-1763	The number 2 argument of industry service type is a subclass of intentional process
(instance industryServiceType BinaryPredicate)	Economy.kif 1761-1761	industry service type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage industryServiceType "%2 %n 是 %1 的 industry 服务类别")	domainEnglishFormat.kif 1329-1329
(format ChineseTraditionalLanguage industryServiceType "%2 %n 是 %1 的 industry 服務類別")	domainEnglishFormat.kif 1328-1328
(format EnglishLanguage industryServiceType "%2 is %n an industry service type of %1")	domainEnglishFormat.kif 1327-1327
(termFormat ChineseLanguage industryServiceType "行业服务类型")	domainEnglishFormat.kif 29939-29939
(termFormat ChineseTraditionalLanguage industryServiceType "行業服務類型")	domainEnglishFormat.kif 29938-29938
(termFormat EnglishLanguage industryServiceType "industry service type")	domainEnglishFormat.kif 29937-29937

antecedent

(=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE))	Economy.kif 1793-1799	If a kind of intentional process is an industry service type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of intentional process is an organization service type of the organization
(=> (and (instance ?ORG Organization) (attribute ?ORG ?INDUSTRY) (industryServiceType ?INDUSTRY ?TYPE)) (exists (?EVENT) (and (instance ?EVENT ?TYPE) (agent ?EVENT ?ORG))))	Economy.kif 1769-1777	If an agent is an instance of organization and an industry attribute is an attribute of the agent and a kind of intentional process is an industry service type of the industry attribute, then there exists a process such that the process is an instance of a kind of intentional process and the agent is an agent of the process

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