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, commercialism, e-commerce, evasion, marketing, mercantilism, nonpayment, patronage, trade

appearance as argument number 1
-------------------------


s__documentation(s__CommercialService,s__ChineseLanguage,'"这是由 CommercialAgent 为了赚取利息的任何 FinancialTransaction。 "')

chinese_format.kif 3103-3104
s__documentation(s__CommercialService,s__EnglishLanguage,'"Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit."')

Merge.kif 11051-11052
s__instance(s__CommercialService,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__CommercialService,s__FinancialTransaction)

Merge.kif 11050-11050 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 11053-11053 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 7396-7396 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 6852-6852 Financial service is a subclass of commercial service
s__termFormat(s__ChineseLanguage,s__CommercialService,'"商业服务"')

domainEnglishFormat.kif 15793-15793
s__termFormat(s__ChineseTraditionalLanguage,s__CommercialService,'"商業服務"')

domainEnglishFormat.kif 15792-15792
s__termFormat(s__EnglishLanguage,s__CommercialService,'"commercial service"')

domainEnglishFormat.kif 15791-15791

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3488-3499
( ! [V__BUSINESS] :
   (s__instance(V__BUSINESS,s__CommercialService) =>
     ( ? [V__AGENT] :
       ((s__instance(V__AGENT,s__CommercialAgent) &
           s__agent(V__BUSINESS,V__AGENT))))
   )
)

Merge.kif 11055-11060

consequent
-------------------------


( ! [V__Service,V__Agent,V__Transaction] :
   ((s__instance(V__Service,s__Process) &
       s__instance(V__Service,s__Object) &
       s__instance(V__Agent,s__Agent))
     =>
     (s__instance(V__Transaction,s__FinancialTransaction) &
       s__destination(V__Transaction,V__Agent))
   =>
   (s__instance(V__Service,s__CommercialService) &
     s__agent(V__Service,V__Agent)
   &
   s__attribute(V__Service,s__OpenService))
)
)

FinancialOntology.kif 3802-3809
No TPTP formula. May not be expressible in strict first order. Economy.kif 4632-4652
( ! [V__BAKERY] :
   (s__instance(V__BAKERY,s__Bakery) =>
     ( ? [V__SERVICE, V__FOOD, V__BAKE] :
       ((s__instance(V__BAKE,s__Baking) &
           s__result(V__BAKE,V__FOOD)
         &
         s__instance(V__FOOD,s__FoodForFn(s__Human))
       &
       s__agent(V__BAKE,V__BAKERY)
     &
     s__instance(V__SERVICE,s__CommercialService) &
     s__agent(V__SERVICE,V__BAKERY)
   &
   s__instance(V__SERVICE,s__Selling) &
   s__patient(V__SERVICE,V__FOOD))))
)
)

Dining.kif 70-81
( ! [V__C] :
   (s__instance(V__C,s__EntertainmentCompany) =>
     ( ? [V__P] :
       ((s__instance(V__P,s__CommercialService) &
           s__agent(V__P,V__C)
         &
         s__instance(V__P,s__Performance))))
   )
)

Mid-level-ontology.kif 6787-6793
( ! [V__C] :
   (s__instance(V__C,s__Publisher) =>
     ( ? [V__S] :
       ((s__instance(V__S,s__CommercialService) &
           s__agent(V__S,V__C)
         &
         s__instance(V__S,s__Publication))))
   )
)

Mid-level-ontology.kif 6923-6929
( ! [V__C] :
   (s__instance(V__C,s__Restaurant) =>
     ( ? [V__S, V__F, V__B] :
       ((s__instance(V__S,s__CommercialService) &
           s__agent(V__S,V__C)
         &
         s__instance(V__S,s__Selling) &
         s__instance(V__B,s__RestaurantBuilding) &
         s__eventLocated(V__S,V__B)
       &
       s__patient(V__S,V__F)
     &
     s__instance(V__F,s__FoodForFn(s__Human)))))
)
)

Mid-level-ontology.kif 6947-6957
( ! [V__C] :
   (s__instance(V__C,s__TransportationCompany) =>
     ( ? [V__S] :
       ((s__instance(V__S,s__CommercialService) &
           s__agent(V__S,V__C)
         &
         s__instance(V__S,s__Transportation))))
   )
)

Mid-level-ontology.kif 6843-6849
( ! [V__COMPANY] :
   (s__instance(V__COMPANY,s__Coffeeshop) =>
     ( ? [V__SERVICE, V__BEVERAGE] :
       ((s__instance(V__SERVICE,s__CommercialService) &
           s__agent(V__SERVICE,V__COMPANY)
         &
         s__instance(V__SERVICE,s__Selling) &
         s__patient(V__SERVICE,V__BEVERAGE)
       &
       s__instance(V__BEVERAGE,s__Coffee))))
)
)

Dining.kif 36-44
( ! [V__COMPANY] :
   (s__instance(V__COMPANY,s__RailroadCompany) =>
     ( ? [V__SERVICE, V__TRAIN] :
       ((s__instance(V__SERVICE,s__CommercialService) &
           s__agent(V__SERVICE,V__COMPANY)
         &
         s__instance(V__SERVICE,s__Transportation) &
         s__instrument(V__SERVICE,V__TRAIN)
       &
       s__instance(V__TRAIN,s__Train))))
)
)

Transportation.kif 3201-3209
( ! [V__COMPANY] :
   (s__instance(V__COMPANY,s__Tavern) =>
     ( ? [V__SERVICE, V__BEVERAGE] :
       ((s__instance(V__SERVICE,s__CommercialService) &
           s__agent(V__SERVICE,V__COMPANY)
         &
         s__instance(V__SERVICE,s__Selling) &
         s__patient(V__SERVICE,V__BEVERAGE)
       &
       s__instance(V__BEVERAGE,s__AlcoholicBeverage))))
)
)

Mid-level-ontology.kif 7378-7386
No TPTP formula. May not be expressible in strict first order. Merge.kif 15004-15011
No TPTP formula. May not be expressible in strict first order. Merge.kif 15017-15024
( ! [V__PUB] :
   (s__instance(V__PUB,s__Brewpub) =>
     ( ? [V__SERVICE, V__BEER, V__BREW] :
       ((s__instance(V__BREW,s__Making) &
           s__result(V__BREW,V__BEER)
         &
         s__instance(V__BEER,s__Beer) &
         s__agent(V__BREW,V__PUB)
       &
       s__instance(V__SERVICE,s__CommercialService) &
       s__agent(V__SERVICE,V__PUB)
     &
     s__instance(V__SERVICE,s__Selling) &
     s__patient(V__SERVICE,V__BEER))))
)
)

Dining.kif 51-62
( ! [V__COOK,V__STEAKHOUSE] :
   (s__instance(V__COOK,s__Process) =>
     s__instance(V__STEAKHOUSE,s__Steakhouse) =>
     ( ? [V__SERVICE, V__STEAK, V__BEEF] :
       ((s__instance(V__COOK,s__Cooking) &
           s__instance(V__BEEF,s__Beef) &
           s__resource(V__COOK,V__BEEF)
         &
         s__result(V__COOK,V__STEAK)
       &
       s__instance(V__SERVICE,s__CommercialService) &
       s__agent(V__SERVICE,V__STEAKHOUSE)
     &
     s__instance(V__SERVICE,s__Selling) &
     s__patient(V__SERVICE,V__STEAK))))
)
)

Dining.kif 88-99


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