Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CommercialService(commercial service) |  | business, business_enterprise, commerce, commercial_enterprise, commercialism, e-commerce, evasion, marketing, mercantilism, nonpayment, patronage, trade |
| appearance as argument number 1 |
|
|
| s__subclass(s__CommercialService,s__FinancialTransaction)
|
Merge.kif 12148-12148 | Commercial service is a subclass of financial transaction |
| s__documentation(s__CommercialService, s__EnglishLanguage, "Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit_") | Merge.kif 12149-12150 | Commercial service is a subclass of financial transaction |
| s__subclass(s__CommercialService,s__ServiceProcess)
|
Merge.kif 12151-12151 | Commercial service is a subclass of service |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__BUSINESS] : ((s__instance(V__BUSINESS,s__CommercialService) => (? [V__AGENT] : ((s__instance(V__AGENT,s__CommercialAgent) & s__agent(V__BUSINESS,V__AGENT))))) )
|
Merge.kif 12153-12158 | If X is an instance of commercial service, then there exists Y such that Y is an instance of commercial agent and Y is an agent of X |
| ! [V__Agent : $i,V__Customer : $i,V__Org : $i,V__Service : $i] : (((s__instance(V__Service, s__CommercialService) & s__agent(V__Service, V__Agent) & s__employs(V__Org, V__Agent) & s__destination(V__Service, V__Customer)) => s__hasPurpose(V__Service, ( ? [V__Transaction:$i] : ((s__instance(V__Transaction, s__FinancialTransaction) & s__destination(V__Transaction, V__Org) & s__origin(V__Transaction, V__Customer))))))) | FinancialOntology.kif 3648-3659 | If X is an instance of commercial service, Y is an agent of X, Z employs Y, and X ends up at W, then X has the purpose there exists V such that V is an instance of financial transaction, V ends up at Z, and V originates at W |
| consequent |
|
|
| ! [V__ORG : $i] : ((s__instance(V__ORG, s__Manufacturer) => s__hasPurpose(V__ORG, ( ? [V__MANUFACTURE:$i] : ((s__instance(V__MANUFACTURE, s__Manufacture) & s__instance(V__MANUFACTURE, s__CommercialService) & s__agent(V__MANUFACTURE, V__ORG))))))) | Merge.kif 16560-16567 | If X is an instance of manufacturer, then X has the purpose there exists Y such that Y is an instance of manufacture, Y is an instance of commercial service, and X is an agent of Y |
| ! [V__ORG : $i] : ((s__instance(V__ORG, s__MercantileOrganization) => s__hasPurpose(V__ORG, ( ? [V__SELL:$i] : ((s__instance(V__SELL, s__Selling) & s__instance(V__SELL, s__CommercialService) & s__agent(V__SELL, V__ORG))))))) | Merge.kif 16573-16580 | If X is an instance of mercantile organization, then X has the purpose there exists Y such that Y is an instance of selling, Y is an instance of commercial service, and X is an agent of Y |
| ! [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 8434-8440 | If X is an instance of entertainment company, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of performance |
| ! [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 8476-8482 | If X is an instance of transportation company, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of transportation |
| ! [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 8554-8560 | If X is an instance of publisher, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of publication |
| ! [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 8578-8588 | If X is an instance of restaurant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of commercial service (3) X is an agent of Y (4) Y is an instance of selling (5) W is an instance of restaurant building (6) Y is located at W (7) Z is a patient of Y (8) Z is an instance of food for human |
| ! [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 9004-9012 | If X is an instance of tavern, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of selling, Z is a patient of Y, and Z is an instance of alcoholic beverage |
| ! [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 | If X is an instance of coffee shop, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of selling, Z is a patient of Y, and Z is an instance of coffee |
| ! [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 | If X is an instance of Brewpub, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of making (3) Z is a result of W (4) Z is an instance of beer (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| ! [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 | If X is an instance of bakery, then All of the following hold: (1) there exist Y, Z (2) W such that W is an instance of baking (3) Z is a result of W (4) Z is an instance of food for human (5) X is an agent of W (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| ! [V__STEAKHOUSE] : ((s__instance(V__STEAKHOUSE,s__Steakhouse) => (? [V__SERVICE,V__STEAK,V__BEEF,V__COOK] : ((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 | If X is an instance of steakhouse, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of cooking (3) W is an instance of beef (4) W is a resource for V (5) Z is a result of V (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| ! [V__X : $i] : ((s__attribute(V__X, s__MeanOfProduction) => s__hasPurpose(V__X, (( ? [V__MAKE:$i, V__PRODUCT:$i] : ((s__instance(V__MAKE, s__Making) & s__involvedInEvent(V__MAKE, V__X) & ~(s__result(V__MAKE, V__X)) & s__instance(V__PRODUCT, s__Artifact) & s__result(V__MAKE, V__PRODUCT) & s__hasPurpose(V__PRODUCT, ( ? [V__SELL:$i] : ((s__instance(V__SELL, s__Selling) & s__patient(V__SELL, V__PRODUCT)))))))) | ( ? [V__SERVICE:$i] : ((s__instance(V__SERVICE, s__CommercialService) & s__involvedInEvent(V__SERVICE, V__X)))))))) | Economy.kif 6108-6128 | If mean of production is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of making (3) X is an involved in event of Y (4) X is not a result of Y (5) Z is an instance of artifact (6) Z is a result of Y (7) Z has the purpose there exists W such that W is an instance of selling (8) Z is a patient of W or there exists V such that V is an instance of commercial service (9) X is an involved in event of V |
| ! [V__Agent,V__Service,V__Transaction] : (((s__instance(V__Agent,s__AutonomousAgent) & s__instance(V__Service,s__Object) & s__instance(V__Service,s__Process)) => ((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 4017-4024 | If X is an instance of financial transaction and X ends up at Y, then Z is an instance of commercial service, Y is an agent of Z, and open service is an attribute of Z |
| ! [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 4906-4914 | If X is an instance of railroad company, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of train |
| ! [V__STATION] : ((s__instance(V__STATION,s__TelevisionStationCompany) => (? [V__TS,V__PROG,V__SERVICE] : ((s__instance(V__TS,s__TelevisionStation) & s__instance(V__SERVICE,s__CommercialService) & s__instance(V__SERVICE,s__Broadcasting) & s__agent(V__SERVICE,V__TS) & s__result(V__SERVICE,V__PROG) & s__instance(V__PROG,s__TelevisionBroadcasting))))) )
|
Society.kif 331-340 | If X is an instance of TelevisionStationCompany, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of television station (3) W is an instance of commercial service (4) W is an instance of broadcasting (5) Y is an agent of W (6) Z is a result of W (7) Z is an instance of television broadcasting |
| ! [V__COMPANY] : ((s__instance(V__COMPANY,s__BusCompany) => (? [V__SERVICE,V__BUS] : ((s__instance(V__SERVICE,s__CommercialService) & s__agent(V__SERVICE,V__COMPANY) & s__instance(V__SERVICE,s__Transportation) & s__instrument(V__SERVICE,V__BUS) & s__instance(V__BUS,s__Bus))))) )
|
Society.kif 348-356 | If X is an instance of BusCompany, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of bus |
| ! [V__COMPANY] : ((s__instance(V__COMPANY,s__AmbulanceCompany) => (? [V__SERVICE,V__AMB] : ((s__instance(V__SERVICE,s__CommercialService) & s__agent(V__SERVICE,V__COMPANY) & s__instance(V__SERVICE,s__Transportation) & s__instrument(V__SERVICE,V__AMB) & s__instance(V__AMB,s__Ambulance))))) )
|
Society.kif 363-371 | If X is an instance of AmbulanceCompany, then there exist Y, Z such that Y is an instance of commercial service, X is an agent of Y, Y is an instance of transportation, Z is an instrument for Y, and Z is an instance of ambulance |
| ! [V__EMPLOYEE,V__T] : ((s__instance(V__EMPLOYEE,s__AutonomousAgent) => ((s__instance(V__T,s__BusinessTrip) & s__agent(V__T,V__EMPLOYEE)) => (? [V__SERVICE,V__PAYMENT] : ((s__instance(V__SERVICE,s__CommercialService) & s__instance(V__PAYMENT,s__Payment) & s__subProcess(V__PAYMENT,V__SERVICE) & s__agent(V__PAYMENT,V__EMPLOYEE)))))) )
|
TravelPolicies.kif 419-428 | If X is an instance of BusinessTrip and Y is an agent of X, then there exist Z, W such that Z is an instance of commercial service, W is an instance of payment, W is a subprocess of Z, and Y is an agent of W |
|