Set - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1811-1815
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2150-2157
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 428-433
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2148-2148	Conjunto e' uma sub-classe de Conjunto ou Classe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2129-2129	O conceito Conjunto ou Classe e' completamente decomposto em Conjunto + Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4276-4276	O contra-dominio de PropertyFn e' uma instancia de Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5538-5538	Conjunto Finito e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5528-5528	NonNullSet e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5517-5517	NullSet e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order.	engineering.kif 205-205	SetOfEquations e' uma sub-classe de Conjunto
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 887-887
No TPTP formula. May not be expressible in strict first order.	english_format.kif 976-976
No TPTP formula. May not be expressible in strict first order.	french_format.kif 563-563
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 93-93
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 96-96
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2248-2248
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 515-515
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 98-98
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 130-130
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 584-584
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 97-97

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5416-5416	O argumento numero 2 de element e' uma instancia de Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5394-5394	O argumento numero 1 de Subconjunto e' uma instancia de Conjunto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5395-5395	O argumento numero 2 de Subconjunto e' uma instancia de Conjunto

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12092-12108	Processo e' uma instancia de Deciding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Conjunto ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de ContentBearingPhysical containsFormula ContentBearingPhysical and Entidade Entidade e' um elemento de Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12060-12072	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31348-31355	memberMeasure Conjunto, MeasurementAttribute and Duracao Temporal Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent Processo ocorre todos os Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31211-31216	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto auto-conectado e' um elemento de Conjunto approximateDiameter Objeto auto-conectado and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31136-31141	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto e' um elemento de Conjunto circumfrence Objeto and Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31189-31194	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto e' um elemento de Conjunto o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31115-31120	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Objeto auto-conectado e' um elemento de Conjunto a altura de Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31084-31089	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto o comprimento de Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31035-31040	memberMeasure Conjunto, MeasurementAttribute and Quantidade Fisica Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto a medida de Fisico e' Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31240-31245	memberMeasure Conjunto, MeasurementAttribute and Medida de Area Conjunto e' uma instancia de Conjunto Regiao e' um elemento de Conjunto totalArea Regiao and Medida de Area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31380-31385	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto transformerCapacity ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31262-31267	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto voltageRatingPrimary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31305-31310	memberMeasure Conjunto, MeasurementAttribute and Funcao de Quantidade Conjunto e' uma instancia de Conjunto ElectricalTransformer e' um elemento de Conjunto voltageRatingSecondary ElectricalTransformer and Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31103-31108	memberMeasure Conjunto, MeasurementAttribute and Medida de Comprimento Conjunto e' uma instancia de Conjunto Fisico e' um elemento de Conjunto a largura de Fisico e' Medida de Comprimento

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 30054-30084

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: