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
( ! [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

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
No TPTP formula. May not be expressible in strict first order. Economy.kif 4632-4652
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Merge.kif 16403-16410
No TPTP formula. May not be expressible in strict first order. Merge.kif 16418-16425
( ! [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
( ! [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


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