Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2951-2956	Classe e' disjuntamente decomponivel em @ROW Classe Classe e' um membro de (@ROW) Classe e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3374-3402	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	roomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto Objeto Objeto e' uma instancia de HotelUnit Fisico Objeto e' uma instancia de HotelUnit Fisico e' uma instancia de Fisico Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3467-3494	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3432-3461	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
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.	Mid-level-ontology.kif 7378-7392	Objeto e' uma instancia de AuditoriumSeat Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Auditorium Objeto e' uma instancia de PerformanceStage Objeto e' situado em Objeto Objeto e' uma instancia de Humano Processo e' uma sub-classe de Visao Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Objeto e' capaz de fazer Processo no role agent
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.	Medicine.kif 4025-4038	ObsessiveCompulsiveDisorder e' um atributo de Agente Cognitivo Colecao Classe memberType Colecao and Classe Classe e' uma sub-classe de Investigacao Classe e' uma sub-classe de Cleaning ClasseI e' uma instancia de Classe ClasseI e' um agente de Agente Cognitivo Agente Cognitivo nao quer %n ClasseI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18448-18469	Fisico e' uma instancia de Protecting Fisico tem por fim Entidade Entidade, Entidade and EntidadeARM Entidade e' uma instancia de Objeto Objeto e' um patient de Fisico EntidadeARM e' uma sub-classe de a classe descrita por Entidade Fisico proibe a ocurrencia de EntidadeARM hinders Fisico and EntidadeARM

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