Sigma KB Term Intersection

(=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo tem como origem Agente Cognitivo publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validPaymentType PricingScheme and Payment o argumento PaymentMENT PaymentMENT e' uma instancia de Payment PaymentMENT e' um sub-processo de Processo tem a forca modal de Likely
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely)))	Catalog.kif 372-387	publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validityPeriod PricingScheme and Intervalo Temporal o argumento Entidade e' uma instancia de Vender Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely vale durante Intervalo Temporal
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 354-370	publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validFor PricingScheme and AutonomousAgent Entidade e' uma instancia de AutonomousAgent o argumento Entidade e' uma instancia de Comprar Entidade e' um agente de Entidade Entidade tem como origem Agente Cognitivo Entidade e' um patient de Entidade transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?OBJ ?CATALOG) (subclass ?OBJ Physical)) (modalAttribute (exists (?S ?X) (and (instance ?X ?OBJ) (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?X))) Possibility))	Catalog.kif 51-62	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Fisico o argumento Entidade Entidade Entidade e' uma instancia de Entidade Entidade e' uma instancia de Vender Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade tem a forca modal de Possibility
(subclass Physical Entity)	Merge.kif 832-832	Fisico e' uma sub-classe de Entidade
(subclass Object Physical)	Merge.kif 846-846	Objeto e' uma sub-classe de Fisico
(subclass ContentBearingPhysical Physical)	Merge.kif 1304-1304	ContentBearingPhysical e' uma sub-classe de Fisico
(subclass Process Physical)	Merge.kif 1622-1622	Processo e' uma sub-classe de Fisico
(subclass PhysicalSystem Physical)	Merge.kif 6121-6121	PhysicalSystem e' uma sub-classe de Fisico
(subclass FinancialAsset Physical)	FinancialOntology.kif 41-41	FinancialAsset e' uma sub-classe de Fisico

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