(=>     (instance ?CHARGE FinalValueFee)     (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)         (and             (instance ?ADVERT WebListing)             (instance ?SELLING Selling)             (instance ?OWNER AutonomousAgent)             (instance ?ITEM Physical)             (instance ?ADVERT WebListing)             (patient ?ADVERT ?ITEM)             (patient ?SELLING ?ITEM)             (causes ?SELLING ?CHARGE)             (agent ?CHARGE ?OWNER)             (hostedOn ?ADVERT ?SITE)             (possesses ?OWNER ?SITE)             (eCommerceSite ?SELLING ?OWNER))))	UXExperimentalTerms.kif 240-255	Processo e' uma instancia de FinalValueFee WebListing Transacao Financeira, AutonomousAgent, Entidade and WebSite WebListing e' uma instancia de WebListing Transacao Financeira e' uma instancia de Vender AutonomousAgent e' uma instancia de AutonomousAgent Entidade e' uma instancia de Fisico WebListing e' uma instancia de WebListing Entidade e' um patient de WebListing Entidade e' um patient de Transacao Financeira Transacao Financeira causa Processo Processo e' um agente de AutonomousAgent hostedOn WebListing and WebSite AutonomousAgent possui WebSite eCommerceSite Transacao Financeira and AutonomousAgent
(=>     (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 Tavern)     (exists (?SERVICE ?BEVERAGE)         (and             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?COMPANY)             (instance ?SERVICE Selling)             (patient ?SERVICE ?BEVERAGE)             (instance ?BEVERAGE AlcoholicBeverage))))	Mid-level-ontology.kif 7682-7690	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 ?D DrugStore)     (exists (?S ?M)         (and             (instance ?S Selling)             (agent ?S ?D)             (patient ?S ?M)             (instance ?M Medicine))))	Mid-level-ontology.kif 7804-7811	AutonomousAgent e' uma instancia de DrugStore Processo Entidade Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Medicine
(=>     (instance ?INVOICE Invoice)     (exists (?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)         (and             (uniqueIdentifier ?NUMBER ?INVOICE)             (buys ?BUYER ?SELLER ?ENT)             (confersRight                 (exists (?SELLING)                     (and                         (before                             (BeginFn                                 (WhenFn ?INVOICE))                             (BeginFn                                 (WhenFn ?SELLING)))                         (instance ?SELLING Selling)                         (instance ?PRODUCT Product)                         (objectTransferred ?SELLING ?PRODUCT)                         (refers ?INVOICE ?PRODUCT)                         (agent ?SELLING ?SELLER)                         (patient ?SELLING ?BUYER))) ?SELLER ?BUYER))))	Mid-level-ontology.kif 29856-29876	Entidade e' uma instancia de Invoice Sequencia Simbolica Agente Cognitivo, AutonomousAgent, Entidade and Entidade o identificador unico de Sequencia Simbolica e' Entidade buys Agente Cognitivo, AutonomousAgent and Entidade AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Vender Entidade e' uma instancia de Produto objectTransferred Entidade and Entidade Entidade inclui uma referencia a Entidade Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade
(=>     (instance ?ORG MercantileOrganization)     (hasPurpose ?ORG         (exists (?SELL)             (and                 (instance ?SELL Selling)                 (instance ?SELL CommercialService)                 (agent ?SELL ?ORG)))))	Merge.kif 16236-16243	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
(=>     (instance ?STORE GroceryStore)     (exists (?SELL ?FOOD)         (and             (instance ?SELL Selling)             (agent ?SELL ?STORE)             (patient ?SELL ?FOOD)             (instance ?FOOD                 (FoodForFn Animal)))))	Mid-level-ontology.kif 7817-7824	AutonomousAgent e' uma instancia de GroceryStore Processo Entidade Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Animal
(=>     (instance ?STORE WebStore)     (hasPurpose ?STORE         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (instrument ?SELLING ?STORE)))))	UXExperimentalTerms.kif 2133-2139	Fisico e' uma instancia de WebStore Fisico tem por fim Entidade Entidade e' uma instancia de Vender Fisico e' um instrumento para Entidade
(=>     (instance ?Spread SpreadOption)     (exists (?Option1 ?Option2 ?Buy ?Sell ?Time)         (and             (instance ?Option1 Option)             (instance ?Option2 Option)             (instance ?Buy Buying)             (instance ?Sell Selling)             (subProcess ?Buy ?Spread)             (subProcess ?Sell ?Spread)             (patient ?Buy ?Option1)             (patient ?Sell ?Option2)             (time ?Buy ?Time)             (time ?Sell ?Time))))	FinancialOntology.kif 3097-3110	Processo e' uma instancia de SpreadOption Entidade Entidade, Processo, Processo and Posicao Temporal Entidade e' uma instancia de Option Entidade e' uma instancia de Option Processo e' uma instancia de Comprar Processo e' uma instancia de Vender Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo Entidade e' um patient de Processo Entidade e' um patient de Processo Processo existe durante Posicao Temporal Processo existe durante Posicao Temporal
(=>     (instance ?X RetailStore)     (and         (capability Selling agent ?X)         (exists (?P ?EV)             (and                 (instance ?EV Selling)                 (destination ?EV ?P)                 (instance ?P Human)))))	Mid-level-ontology.kif 7780-7788	Objeto e' uma instancia de RetailStore Objeto e' capaz de fazer Vender no role agent Entidade Processo Processo e' uma instancia de Vender Processo termina em Entidade Entidade e' uma instancia de Humano
(=>     (potentialCustomer ?CUST ?AGENT)     (exists (?P ?SELLING)         (and             (instance ?SELLING Selling)             (agent ?SELLING ?AGENT)             (patient ?SELLING ?P)             (inScopeOfInterest ?CUST ?P))))	Dining.kif 810-817	potentialCustomer Agente Cognitivo and AutonomousAgent Entidade Processo Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Agente Cognitivo esta' interessado em Entidade
(=>     (productPrice ?ENT ?PRICE ?AGENT)     (modalAttribute         (=>             (and                 (instance ?S Selling)                 (immediateInstance ?I ?ENT)                 (patient ?S ?I)                 (agent ?S ?AGENT))             (transactionAmount ?S ?PRICE)) Likely))	Catalog.kif 419-428	productPrice Entidade, Medida de Divisa and Agente Cognitivo o argumento Entidade e' uma instancia de Vender Entidade e' uma instancia imediata de Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely
(=>     (prohibitedItem ?ITEM ?SITE)     (modalAttribute         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (eCommerceSite ?SELLING ?SITE))) Prohibition))	UXExperimentalTerms.kif 398-405	prohibitedItem Objeto and WebSite o argumento Entidade Entidade e' uma instancia de Vender eCommerceSite Entidade and WebSite tem a forca modal de Prohibition
(=>     (property ?C PurchaseContract)     (exists (?S ?SELLER ?BUYER)         (and             (instance ?S Selling)             (agent ?S ?SELLER)             (destination ?S ?BUYER)             (realization ?S ?C)             (partyToAgreement ?C ?SELLER)             (partyToAgreement ?C ?BUYER))))	Mid-level-ontology.kif 14182-14191	Proposicao tem um atributo de PurchaseContract Processo ProcessoELLER and Agreement Processo e' uma instancia de Vender Processo e' um agente de ProcessoELLER Processo termina em Agreement Processo exprime o conteudo de Proposicao partyToAgreement Proposicao and ProcessoELLER partyToAgreement Proposicao and Agreement
(=>     (standardRetailHours ?TIMEINT ?AGENT)     (exists (?S ?T ?C)         (and             (instance ?S Selling)             (instance ?T ?TIMEINT)             (agent ?S ?AGENT)             (customer ?C ?AGENT)             (during                 (WhenFn ?S) ?T))))	Dining.kif 373-382	standardRetailHours Intervalo Temporal and AutonomousAgent Processo Intervalo Temporal and Agente Cognitivo Processo e' uma instancia de Vender Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' um agente de AutonomousAgent customer Agente Cognitivo and AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
(=>     (webSales ?SALES ?SELLER ?SITE)     (forall (?SELLING)         (=>             (and                 (instance ?SELLING Selling)                 (agent ?SELLING ?SELLER)                 (eCommerceSite ?SELLING ?SITE))             (member ?SELLING ?SALES))))	UXExperimentalTerms.kif 924-932	webSales Colecao, Humano and WebSite Transacao Financeira Transacao Financeira e' uma instancia de Vender Transacao Financeira e' um agente de Humano eCommerceSite Transacao Financeira and WebSite Transacao Financeira e' membro de Colecao
(=>     (webSeller ?SELLER ?SITE)     (desires ?SELLER         (exists (?SELLING)             (and                 (instance ?SELLING Selling)                 (agent ?SELLING ?SELLER)))))	UXExperimentalTerms.kif 967-973	webSeller Humano and WebSite Humano deseja Entidade Entidade e' uma instancia de Vender Entidade e' um agente de Humano

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