CommercialService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CommercialService

CommercialService(commercial service)

business, business_enterprise, commerce, commercial_enterprise, commercial_service, commercialism, e-commerce, evasion, marketing, mercantilism, nonpayment, patronage, trade

appearance as argument number 1

s__documentation(s__CommercialService,s__ChineseLanguage,'这是由 CommercialAgent 为了赚取利息的任何 FinancialTransaction。 ')	Merge.kif 11834-11835
s__documentation(s__CommercialService,s__EnglishLanguage,'Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit.')	Merge.kif 11832-11833
s__instance(s__CommercialService,s__SetOrClass) s__instance(s__FinancialTransaction,s__SetOrClass) s__subclass(s__CommercialService,s__FinancialTransaction)	Merge.kif 11831-11831	Commercial service is a subclass of financial transaction
s__instance(s__ServiceProcess,s__SetOrClass) s__instance(s__CommercialService,s__SetOrClass) s__subclass(s__CommercialService,s__ServiceProcess)	Merge.kif 11836-11836	Commercial service is a subclass of service

appearance as argument number 2

s__instance(s__CommercialShipping,s__SetOrClass)

s__instance(s__CommercialService,s__SetOrClass)

s__subclass(s__CommercialShipping,s__CommercialService)

Mid-level-ontology.kif 7394-7394

Commercial shipping is a subclass of commercial service

s__subclass(s__FinancialService,s__CommercialService)

s__instance(s__CommercialService,s__SetOrClass)

s__instance(s__FinancialService,s__SetOrClass)

Mid-level-ontology.kif 6851-6851

Financial service is a subclass of commercial service

s__termFormat(s__EnglishLanguage,s__CommercialService,'commercial service')

domainEnglishFormat.kif 3066-3066

"commercial service" is the printable form of commercial service in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3481-3492	If a process is an instance of commercial service and a cognitive agent is an agent of the process and an agent employs the cognitive agent and the process ends up at an entity, then the process has purpose there exists another entity such that the other entity is an instance of financial transaction and the other entity ends up at the agent and the other entity originates at the entity
( ! [V__BUSINESS] : (s__instance(V__BUSINESS,s__CommercialService)s__=>(s__exists__m[V__AGENT] : (s__instance(V__AGENT,s__CommercialAgent)s__and__ms__agent(V__BUSINESS,V__AGENT)))) )	Merge.kif 11838-11843	If a process is an instance of commercial service, then there exists an agent such that the agent is an instance of commercial agent and the agent is an agent of the process

consequent

( ! [V__Service,V__Agent,V__Transaction] : ((s__instance(V__Service,s__Process)s__and__ms__instance(V__Service,s__Object)s__and__ms__instance(V__Agent,s__Agent)) s__=>((s__instance(V__Transaction,s__FinancialTransaction)s__and__ms__destination(V__Transaction,V__Agent)) s__=>(s__instance(V__Service,s__CommercialService)s__and__ms__agent(V__Service,V__Agent) s__and__ms__attribute(V__Service,s__OpenService)))) )	FinancialOntology.kif 3795-3802	If a process is an instance of financial transaction and the process ends up at an agent, then another process is an instance of commercial service and the agent is an agent of the other process and open service is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4632-4652	If mean of production is an attribute of an object, then the object has purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
( ! [V__BAKERY] : (s__instance(V__BAKERY,s__Bakery)s__=>(s__exists__m[V__SERVICE,V__FOOD,V__BAKE] : (s__instance(V__BAKE,s__Baking)s__and__ms__result(V__BAKE,V__FOOD) s__and__ms__instance(V__FOOD,s__FoodForFn(s__Human)) s__and__ms__agent(V__BAKE,V__BAKERY) s__and__ms__instance(V__SERVICE,s__CommercialService)s__and__ms__agent(V__SERVICE,V__BAKERY) s__and__ms__instance(V__SERVICE,s__Selling)s__and__ms__patient(V__SERVICE,V__FOOD)))) )	Dining.kif 70-81	If an agent is an instance of bakery, then there exist a process, an entity and another process such that the other process is an instance of baking and the entity is a result of the other process and the entity is an instance of food for human and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
( ! [V__C] : (s__instance(V__C,s__EntertainmentCompany)s__=>(s__exists__m[V__P] : (s__instance(V__P,s__CommercialService)s__and__ms__agent(V__P,V__C) s__and__ms__instance(V__P,s__Performance)))) )	Mid-level-ontology.kif 6786-6792	If an agent is an instance of entertainment company, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of performance
( ! [V__C] : (s__instance(V__C,s__Publisher)s__=>(s__exists__m[V__S] : (s__instance(V__S,s__CommercialService)s__and__ms__agent(V__S,V__C) s__and__ms__instance(V__S,s__Publication)))) )	Mid-level-ontology.kif 6922-6928	If an agent is an instance of publisher, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of publication
( ! [V__C] : (s__instance(V__C,s__Restaurant)s__=>(s__exists__m[V__S,V__F,V__B] : (s__instance(V__S,s__CommercialService)s__and__ms__agent(V__S,V__C) s__and__ms__instance(V__S,s__Selling)s__and__ms__instance(V__B,s__RestaurantBuilding)s__and__ms__eventLocated(V__S,V__B) s__and__ms__patient(V__S,V__F) s__and__ms__instance(V__F,s__FoodForFn(s__Human))))) )	Mid-level-ontology.kif 6946-6956	If an agent is an instance of restaurant, then there exist a process, an entity and another entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the other entity is an instance of restaurant building and the process is located at 2 and the entity is a patient of the process and the entity is an instance of food for human
( ! [V__C] : (s__instance(V__C,s__TransportationCompany)s__=>(s__exists__m[V__S] : (s__instance(V__S,s__CommercialService)s__and__ms__agent(V__S,V__C) s__and__ms__instance(V__S,s__Transportation)))) )	Mid-level-ontology.kif 6842-6848	If an agent is an instance of transportation company, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of transportation
( ! [V__COMPANY] : (s__instance(V__COMPANY,s__Coffeeshop)s__=>(s__exists__m[V__SERVICE,V__BEVERAGE] : (s__instance(V__SERVICE,s__CommercialService)s__and__ms__agent(V__SERVICE,V__COMPANY) s__and__ms__instance(V__SERVICE,s__Selling)s__and__ms__patient(V__SERVICE,V__BEVERAGE) s__and__ms__instance(V__BEVERAGE,s__Coffee)))) )	Dining.kif 36-44	If an agent is an instance of coffee shop, then there exist a process and an entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process and the entity is an instance of coffee
( ! [V__COMPANY] : (s__instance(V__COMPANY,s__RailroadCompany)s__=>(s__exists__m[V__SERVICE,V__TRAIN] : (s__instance(V__SERVICE,s__CommercialService)s__and__ms__agent(V__SERVICE,V__COMPANY) s__and__ms__instance(V__SERVICE,s__Transportation)s__and__ms__instrument(V__SERVICE,V__TRAIN) s__and__ms__instance(V__TRAIN,s__Train)))) )	Transportation.kif 3167-3175	If an agent is an instance of railroad company, then there exist a process and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of transportation and the object is an instrument for the process and the object is an instance of train
( ! [V__COMPANY] : (s__instance(V__COMPANY,s__Tavern)s__=>(s__exists__m[V__SERVICE,V__BEVERAGE] : (s__instance(V__SERVICE,s__CommercialService)s__and__ms__agent(V__SERVICE,V__COMPANY) s__and__ms__instance(V__SERVICE,s__Selling)s__and__ms__patient(V__SERVICE,V__BEVERAGE) s__and__ms__instance(V__BEVERAGE,s__AlcoholicBeverage)))) )	Mid-level-ontology.kif 7376-7384	If an agent is an instance of tavern, then there exist a process and an entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process and the entity is an instance of alcoholic beverage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16403-16410	If a physical is an instance of manufacturer, then the physical has purpose there exists an entity such that the entity is an instance of manufacture and the entity is an instance of commercial service and the physical is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16418-16425	If a physical is an instance of mercantile organization, then the physical has purpose there exists an entity such that the entity is an instance of selling and the entity is an instance of commercial service and the physical is an agent of the entity
( ! [V__PUB] : (s__instance(V__PUB,s__Brewpub)s__=>(s__exists__m[V__SERVICE,V__BEER,V__BREW] : (s__instance(V__BREW,s__Making)s__and__ms__result(V__BREW,V__BEER) s__and__ms__instance(V__BEER,s__Beer)s__and__ms__agent(V__BREW,V__PUB) s__and__ms__instance(V__SERVICE,s__CommercialService)s__and__ms__agent(V__SERVICE,V__PUB) s__and__ms__instance(V__SERVICE,s__Selling)s__and__ms__patient(V__SERVICE,V__BEER)))) )	Dining.kif 51-62	If an agent is an instance of Brewpub, then there exist a process, an entity and another process such that the other process is an instance of making and the entity is a result of the other process and the entity is an instance of beer and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
( ! [V__COOK,V__STEAKHOUSE] : (s__instance(V__COOK,s__Process)s__=>(s__instance(V__STEAKHOUSE,s__Steakhouse)s__=>(s__exists__m[V__SERVICE,V__STEAK,V__BEEF] : (s__instance(V__COOK,s__Cooking)s__and__ms__instance(V__BEEF,s__Beef)s__and__ms__resource(V__COOK,V__BEEF) s__and__ms__result(V__COOK,V__STEAK) s__and__ms__instance(V__SERVICE,s__CommercialService)s__and__ms__agent(V__SERVICE,V__STEAKHOUSE) s__and__ms__instance(V__SERVICE,s__Selling)s__and__ms__patient(V__SERVICE,V__STEAK))))) )	Dining.kif 88-99	If an agent is an instance of steakhouse, then there exist a process, an entity and an object such that another process is an instance of cooking and the object is an instance of beef and the object is a resource for the other process and the entity is a result of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners