Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processo e' uma instancia de BreakingRecord Processo e' um agente de AutonomousAgent Conjunto Classe, Processo, Ponto no tempo, Role em Caso, Objeto and Entidade Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Classe e' uma sub-classe de Processo Objeto e' uma instancia de Regiao Ponto no tempo e' uma instancia de Ponto no tempo Entidade e' uma instancia de Quantidade Processo e' uma instancia de Classe Processo inclui uma referencia a Entidade Entidade inclui uma referencia a Processo playsRoleInEvent AutonomousAgent, Role em Caso and Processo eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de Conjunto Entidade e' igual a AutonomousAgent Entidade e' uma instancia de Classe playsRoleInEvent Entidade, Role em Caso and Entidade eventLocated Entidade and Objeto vale durante o intervalo entre Ponto no tempo e o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1694-1694	Quantidade e' uma sub-classe de Abstrato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2874-2874	FiniteQuantity e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2878	InfiniteQuantity e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1824-1824	Numero e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2025-2025	Quantidade Fisica e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 74-74	PhysicalDimension e' uma sub-classe de Quantidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 293-293	MultipoleQuantity e' uma sub-classe de Quantidade

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