| CommercialService(commercial service) | | business, business_enterprise, commerce, commercial_enterprise, commercialism, e-commerce, evasion, marketing, mercantilism, nonpayment, patronage, trade |
| appearance as argument number 1 |
|
|
| (subclass CommercialService FinancialTransaction) | Merge.kif 12042-12042 | Commercial service is a subclass of financial transaction |
| (documentation CommercialService EnglishLanguage "Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit.") | Merge.kif 12043-12044 | Commercial service is a subclass of financial transaction |
| (subclass CommercialService ServiceProcess) | Merge.kif 12045-12045 | Commercial service is a subclass of service |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT)))) |
Merge.kif 12047-12052 | 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 |
| (=> (and (instance ?Service CommercialService) (agent ?Service ?Agent) (employs ?Org ?Agent) (destination ?Service ?Customer)) (hasPurpose ?Service (exists (?Transaction) (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Org) (origin ?Transaction ?Customer))))) |
FinancialOntology.kif 3608-3619 | 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 |
|
|
| (=> (instance ?ORG Manufacturer) (hasPurpose ?ORG (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (instance ?MANUFACTURE CommercialService) (agent ?MANUFACTURE ?ORG))))) |
Merge.kif 16401-16408 | 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 |
| (=> (instance ?ORG MercantileOrganization) (hasPurpose ?ORG (exists (?SELL) (and (instance ?SELL Selling) (instance ?SELL CommercialService) (agent ?SELL ?ORG))))) |
Merge.kif 16414-16421 | 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 |
| (=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance)))) |
Mid-level-ontology.kif 8297-8303 | 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 |
| (=> (instance ?C TransportationCompany) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Transportation)))) |
Mid-level-ontology.kif 8358-8364 | 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 |
| (=> (instance ?C Publisher) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Publication)))) |
Mid-level-ontology.kif 8436-8442 | 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 |
| (=> (instance ?C Restaurant) (exists (?S ?F ?B) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Selling) (instance ?B RestaurantBuilding) (eventLocated ?S ?B) (patient ?S ?F) (instance ?F (FoodForFn Human))))) |
Mid-level-ontology.kif 8460-8470 | 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 |
| (=> (instance ?COMPANY Tavern) (exists (?SERVICE ?BEVERAGE) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Selling) (patient ?SERVICE ?BEVERAGE) (instance ?BEVERAGE AlcoholicBeverage)))) |
Mid-level-ontology.kif 8890-8898 | 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 |
| (=> (instance ?COMPANY Coffeeshop) (exists (?SERVICE ?BEVERAGE) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Selling) (patient ?SERVICE ?BEVERAGE) (instance ?BEVERAGE 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 |
| (=> (instance ?PUB Brewpub) (exists (?SERVICE ?BEER ?BREW) (and (instance ?BREW Making) (result ?BREW ?BEER) (instance ?BEER Beer) (agent ?BREW ?PUB) (instance ?SERVICE CommercialService) (agent ?SERVICE ?PUB) (instance ?SERVICE Selling) (patient ?SERVICE ?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 |
| (=> (instance ?BAKERY Bakery) (exists (?SERVICE ?FOOD ?BAKE) (and (instance ?BAKE Baking) (result ?BAKE ?FOOD) (instance ?FOOD (FoodForFn Human)) (agent ?BAKE ?BAKERY) (instance ?SERVICE CommercialService) (agent ?SERVICE ?BAKERY) (instance ?SERVICE Selling) (patient ?SERVICE ?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 |
| (=> (instance ?STEAKHOUSE Steakhouse) (exists (?SERVICE ?STEAK ?BEEF ?COOK) (and (instance ?COOK Cooking) (instance ?BEEF Beef) (resource ?COOK ?BEEF) (result ?COOK ?STEAK) (instance ?SERVICE CommercialService) (agent ?SERVICE ?STEAKHOUSE) (instance ?SERVICE Selling) (patient ?SERVICE ?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 |
| (=> (attribute ?X MeanOfProduction) (hasPurpose ?X (or (exists (?MAKE ?PRODUCT) (and (instance ?MAKE Making) (involvedInEvent ?MAKE ?X) (not (result ?MAKE ?X)) (instance ?PRODUCT Artifact) (result ?MAKE ?PRODUCT) (hasPurpose ?PRODUCT (exists (?SELL) (and (instance ?SELL Selling) (patient ?SELL ?PRODUCT)))))) (exists (?SERVICE) (and (instance ?SERVICE CommercialService) (involvedInEvent ?SERVICE ?X)))))) |
Economy.kif 6084-6104 | 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 |
| (=> (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Agent)) (and (instance ?Service CommercialService) (agent ?Service ?Agent) (attribute ?Service OpenService))) |
FinancialOntology.kif 3977-3984 | 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 |
| (=> (instance ?COMPANY RailroadCompany) (exists (?SERVICE ?TRAIN) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?TRAIN) (instance ?TRAIN Train)))) |
Transportation.kif 4867-4875 | 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 |
| (=> (instance ?STATION TelevisionStationCompany) (exists (?TS ?PROG ?SERVICE) (and (instance ?TS TelevisionStation) (instance ?SERVICE CommercialService) (instance ?SERVICE Broadcasting) (agent ?SERVICE ?TS) (result ?SERVICE ?PROG) (instance ?PROG 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 |
| (=> (instance ?COMPANY BusCompany) (exists (?SERVICE ?BUS) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?BUS) (instance ?BUS 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 |
| (=> (instance ?COMPANY AmbulanceCompany) (exists (?SERVICE ?AMB) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?AMB) (instance ?AMB 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 |
| (=> (and (instance ?T BusinessTrip) (agent ?T ?EMPLOYEE)) (exists (?SERVICE ?PAYMENT) (and (instance ?SERVICE CommercialService) (instance ?PAYMENT Payment) (subProcess ?PAYMENT ?SERVICE) (agent ?PAYMENT ?EMPLOYEE)))) |
TravelPolicies.kif 426-435 | 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 |
|
|
|