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 1645-1647
(domain industryServiceType 1 IndustryAttribute)	Economy.kif 1642-1642	The number 1 argument of industry service type is an instance of industry attribute
(domainSubclass industryServiceType 2 IntentionalProcess)	Economy.kif 1643-1643	The number 2 argument of industry service type is a subclass of intentional process
(instance industryServiceType BinaryPredicate)	Economy.kif 1641-1641	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 29963-29963
(termFormat ChineseTraditionalLanguage industryServiceType "行業服務類型")	domainEnglishFormat.kif 29962-29962
(termFormat EnglishLanguage industryServiceType "industry service type")	domainEnglishFormat.kif 29961-29961

antecedent

(=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE))	Economy.kif 1673-1679	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 1649-1657	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