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

appearance as argument number 1

(documentation CommercialService ChineseLanguage "这是由 CommercialAgent 为了赚取利息的任何 FinancialTransaction。 ")	chinese_format.kif 3103-3104
(documentation CommercialService EnglishLanguage "Any FinancialTransaction by a CommercialAgent where the aim is to produce a profit.")	Merge.kif 11919-11920
(subclass CommercialService FinancialTransaction)	Merge.kif 11918-11918	CommercialService e' uma sub-classe de Transacao Financeira
(subclass CommercialService ServiceProcess)	Merge.kif 11921-11921	CommercialService e' uma sub-classe de ServiceProcess

appearance as argument number 2

(subclass CommercialShipping CommercialService)	Mid-level-ontology.kif 7728-7728	CommercialShipping e' uma sub-classe de CommercialService
(subclass FinancialService CommercialService)	Mid-level-ontology.kif 7215-7215	FinancialService e' uma sub-classe de CommercialService
(termFormat ChineseLanguage CommercialService "商业服务")	domainEnglishFormat.kif 15870-15870
(termFormat ChineseTraditionalLanguage CommercialService "商業服務")	domainEnglishFormat.kif 15869-15869
(termFormat EnglishLanguage CommercialService "commercial service")	domainEnglishFormat.kif 15868-15868

antecedent

(=> (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 3590-3601	Processo e' uma instancia de CommercialService Processo e' um agente de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo termina em Entidade Processo tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Entidade termina em AutonomousAgent Entidade tem como origem Entidade
(=> (instance ?BUSINESS CommercialService) (exists (?AGENT) (and (instance ?AGENT CommercialAgent) (agent ?BUSINESS ?AGENT))))	Merge.kif 11923-11928	Processo e' uma instancia de CommercialService AutonomousAgent AutonomousAgent e' uma instancia de CommercialAgent Processo e' um agente de AutonomousAgent

consequent

(=> (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Agent)) (and (instance ?Service CommercialService) (agent ?Service ?Agent) (attribute ?Service OpenService)))	FinancialOntology.kif 3959-3966	Processo e' uma instancia de Transacao Financeira Processo termina em AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent OpenService e' um atributo de Processo
(=> (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 5747-5767	MeanOfProduction e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer involvedInEvent Entidade and Objeto Objeto e' o resultado de Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade Entidade e' uma instancia de CommercialService involvedInEvent Entidade and Objeto
(=> (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	AutonomousAgent e' uma instancia de Bakery Processo Entidade and Processo Processo e' uma instancia de Baking Entidade e' o resultado de Processo Entidade e' uma instancia de FoodForFn Humano Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
(=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance))))	Mid-level-ontology.kif 7145-7151	AutonomousAgent e' uma instancia de EntertainmentCompany Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Performance
(=> (instance ?C Publisher) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Publication))))	Mid-level-ontology.kif 7284-7290	AutonomousAgent e' uma instancia de Publisher Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Publicacao
(=> (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 7308-7318	AutonomousAgent e' uma instancia de Restaurant Processo Entidade and Objeto Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Objeto e' uma instancia de RestaurantBuilding eventLocated Processo and Objeto Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Humano
(=> (instance ?C TransportationCompany) (exists (?S) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Transportation))))	Mid-level-ontology.kif 7206-7212	AutonomousAgent e' uma instancia de TransportationCompany Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Transporte
(=> (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	AutonomousAgent e' uma instancia de Coffeeshop Processo Entidade Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo Entidade e' uma instancia de Coffee
(=> (instance ?COMPANY RailroadCompany) (exists (?SERVICE ?TRAIN) (and (instance ?SERVICE CommercialService) (agent ?SERVICE ?COMPANY) (instance ?SERVICE Transportation) (instrument ?SERVICE ?TRAIN) (instance ?TRAIN Train))))	Transportation.kif 3404-3412	AutonomousAgent e' uma instancia de RailroadCompany Processo Objeto Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Objeto e' uma instancia de Train
(=> (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 7710-7718	AutonomousAgent e' uma instancia de Tavern Processo Entidade Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo Entidade e' uma instancia de AlcoholicBeverage
(=> (instance ?ORG Manufacturer) (hasPurpose ?ORG (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (instance ?MANUFACTURE CommercialService) (agent ?MANUFACTURE ?ORG)))))	Merge.kif 16272-16279	Fisico e' uma instancia de Manufacturer Fisico tem por fim Entidade Entidade e' uma instancia de Manufatura Entidade e' uma instancia de CommercialService Entidade e' um agente de Fisico
(=> (instance ?ORG MercantileOrganization) (hasPurpose ?ORG (exists (?SELL) (and (instance ?SELL Selling) (instance ?SELL CommercialService) (agent ?SELL ?ORG)))))	Merge.kif 16285-16292	Fisico e' uma instancia de MercantileOrganization Fisico tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' uma instancia de CommercialService Entidade e' um agente de Fisico
(=> (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	AutonomousAgent e' uma instancia de Brewpub Processo Entidade and Processo Processo e' uma instancia de Fazer Entidade e' o resultado de Processo Entidade e' uma instancia de Beer Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
(=> (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	AutonomousAgent e' uma instancia de Steakhouse Processo Entidade, Objeto and Processo Processo e' uma instancia de Cozinhar Objeto e' uma instancia de Beef Objeto e' um recurso para Processo Entidade e' o resultado de Processo Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo

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 3.0 is open source software produced by Articulate Software and its partners