Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 832-832	Fisico e' uma sub-classe de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	Objeto e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1304-1304	ContentBearingPhysical e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1622-1622	Processo e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6121-6121	PhysicalSystem e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	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