Substance - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1587-1590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1045-1051
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 165-169
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 194-199
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 917-917
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	O conceito Substancia e' completamente decomposto em Substancia Pura + Mistura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1043-1043	O conceito Substancia e' completamente decomposto em SyntheticSubstance + NaturalSubstance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1041-1041	Substancia e' uma sub-classe de Objeto auto-conectado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1227-1227	Objeto Corpuscular e' disjunto de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14693-14693	Substancia Biologica Ativa e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14828-14828	Substancia Corporal e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2477-2477	ChemicalAcid e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1281-1281	ConductorSubstance e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3793-3793	Creatinine e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7110-7110	Crystal e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3082-3082	DrugCandidate e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2664-2664	Effluent e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2556-2556	Electricity e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17861-17861	ExplosiveSubstance e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1693-1693	Fuel e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4750-4750	GumArabic e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1286-1286	InsulatorSubstance e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7488-7488	LiquidDrop e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2981-2981	Lubricant e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14333-14333	Mineral e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1182-1182	Mistura e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1080-1080	NaturalSubstance e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2762-2762	NoxiousSubstance e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8949-8949	Powder e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1084	Substancia Pura e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17903-17903	Rock e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4158-4158	Sugar e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8821-8821	Surfactant e' uma sub-classe de Substancia

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 255-255	O argumento numero 2 de catalyst e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 1241-1241	O argumento numero 1 de mixtureRatio e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 1242-1242	O argumento numero 2 de mixtureRatio e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 951-951	O argumento numero 1 de piece e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 952-952	O argumento numero 2 de piece e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8796-8796	O argumento numero 2 de reactant e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8803-8803	O argumento numero 2 de reagent e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7577-7577	O argumento numero 1 de AmountsFn e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6224-6224	O argumento numero 2 de allergic e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7592-7592	O argumento numero 1 de amount e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 225-225	O argumento numero 2 de concentration e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4286-4286	O argumento numero 2 de groundSubsurfaceType e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	O argumento numero 2 de groundSurfaceType e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1213-1213	O argumento numero 1 de ingredient e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1214-1214	O argumento numero 2 de ingredient e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 978-978	O argumento numero 1 de material e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5858-5858	O argumento numero 1 de mixturePartType e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31671-31671	O argumento numero 1 de roomTempState e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1243-1243	O argumento numero 2 de substanceElement e' uma sub-classe de Substancia

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objeto e' uma instancia de Crystal MonoCrystalline e' um atributo de Objeto Objeto auto-conectado e' uma instancia de Substancia Solid e' um atributo de Objeto auto-conectado PolyCrystalline e' um atributo de Objeto auto-conectado Objeto auto-conectado e' uma instancia de Substancia Objeto auto-conectado e' uma superficie de Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado ObjetoLNT Numero Inteiro and Objeto ObjetoLNT e' uma instancia de Colecao memberCount ObjetoLNT and Numero Inteiro Numero Inteiro e' maior ou igual a 4 Objeto e' membro de ObjetoLNT Objeto e' uma &parte de Objeto auto-conectado Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1060-1065	Substancia e' uma instancia de Substancia Atributo e' um atributo de Substancia Substancia e' uma peca de Substancia Atributo e' um atributo de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	Objeto e' uma instancia de Substancia Insoluble e' um atributo de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Substancia Entidade e' uma instancia de Solucao Objeto e' uma peca de Entidade Entidade e' uma peca de Entidade nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	Objeto e' uma instancia de Substancia Soluble e' um atributo de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Substancia Entidade e' uma instancia de Solucao Objeto e' uma peca de Entidade Entidade e' uma peca de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17616-17623	Objeto e' uma instancia de Substancia Gas e' um atributo de Objeto Liquid e' um atributo de Objeto Plasma e' um atributo de Objeto Fluid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	Classe e' uma sub-classe de Substancia Substancia e' uma instancia de Classe Substancia e' uma peca de Substancia Substancia e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17591-17596	Objeto e' uma instancia de Substancia Atributo Atributo e' uma instancia de Estado Fisico Atributo e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17598-17602	Atributo e' uma instancia de Estado Fisico Atributo e' um atributo de Objeto Objeto e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processo e' uma instancia de Curdling Substancia e' um patient de Processo Substancia e' uma instancia de Colloid Processo Substancia Processo e' uma instancia de Separar Processo e' um sub-processo de Processo Substancia e' um patient de Processo Substancia e' o resultado de Processo Substancia e' uma peca de Substancia Substancia e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7497-7509	Objeto auto-conectado e' uma instancia de LiquidDrop Objeto auto-conectado e' uma superficie de Objeto auto-conectado o argumento Objeto auto-conectadoS Entidade Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Objeto auto-conectado e' igual a Entidade Objeto auto-conectadoS e' uma superficie de Entidade Objeto auto-conectado encontra Objeto auto-conectadoS tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	Colecao e' uma instancia de Organizacao PipelineTransportation e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade, Entidade and Agente CognitivoIPE Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Colecao possui Entidade Agente CognitivoIPE e' um instrumento para Entidade Agente CognitivoIPE e' uma instancia de Pipeline
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7380-7392	Objeto e' uma instancia de Substancia Insoluble e' um atributo de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Substancia Entidade e' uma instancia de Solucao Objeto e' uma peca de Entidade Entidade e' uma peca de Entidade nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7352-7363	Objeto e' uma instancia de Substancia Soluble e' um atributo de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Substancia Entidade e' uma instancia de Solucao Objeto e' uma peca de Entidade Entidade e' uma peca de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	Fisico e' uma instancia de Colander Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Mistura Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Liquid e' um atributo de Entidade Entidade e' uma instancia de Remover Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Solid e' um atributo de Entidade Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8847-8856	Fisico e' uma instancia de Detergent Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Substancia Entidade e' um patient de Entidade Entidade tem como origem Entidade Entidade e' uma superficie de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3057-3066	Fisico e' uma instancia de Hydrometer Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Medir Entidade e' uma instancia de Substancia Liquid e' um atributo de Entidade Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3614-3630	Fisico e' uma instancia de Inflating Objeto Objeto, Numero Real, Numero Real, Classe and Entidade Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Classe e' uma instancia de Substancia Gas e' um atributo de Objeto Gas e' um atributo de Objeto Entidade e' uma instancia de UnitOfVolume a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Fisico a medida de Objeto e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Fisico Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	Objeto Corpuscular e' uma instancia de Objeto Corpuscular Substancia Substancia Substancia e' uma sub-classe de Substancia Substancia e' uma sub-classe de Substancia Substancia e' feito de Objeto Corpuscular Substancia e' feito de Objeto Corpuscular Substancia e' igual a Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3262-3273	Fisico e' uma instancia de PaintingDevice Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Substancia Entidade e' uma instancia de Cobrir Entidade e' uma instancia de Objeto Entidade e' uma superficie de Entidade Entidade e' um agente de Fisico Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17537-17548	Processo e' uma instancia de Pouring Objeto Objeto and Entidade Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de Container Entidade e' uma instancia de Container Objeto e' igual a Entidade Objeto e' um patient de Processo Liquid e' um atributo de Objeto Objeto e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	Entidade e' uma instancia de PurifiedWater Processo Objeto and Objeto Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de Agua Objeto e' um patient de Processo Objeto e' uma instancia de Substancia Objeto e' uma &parte de Objeto Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 260-266	Objeto e' uma instancia de PurifiedWater Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Food.kif 2068-2074	Objeto e' uma instancia de Sauce Objeto Objeto e' uma instancia de Substancia Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	Fisico e' uma instancia de Sieve Fisico tem por fim Entidade Entidade, FisicoUB, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Mistura FisicoUB e' uma instancia de Substancia FisicoUB e' uma &parte de Entidade FisicoUB e' um patient de Entidade Entidade e' uma &parte de Fisico Entidade e' um instrumento para Entidade Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Entidade nao deseja %n FisicoUB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 424-432	Processo e' uma instancia de Spark Entidade Objeto Entidade e' uma instancia de Electricity Entidade e' um patient de Processo Objeto e' uma instancia de Substancia Gas e' um atributo de Objeto eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	Fisico e' uma instancia de Strainer Fisico tem por fim Entidade FisicoUB, Entidade and Entidade Entidade e' uma instancia de Mistura FisicoUB e' uma instancia de Substancia Entidade e' uma instancia de Substancia FisicoUB e' uma &parte de Entidade Solid e' um atributo de FisicoUB Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Liquid e' um atributo de Entidade FisicoUB e' um patient de Entidade Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9545-9556	Fisico e' uma instancia de PlantStem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Fisico e' um instrumento para Entidade Entidade e' uma instancia de PlantRoot Entidade tem como origem Entidade Entidade e' uma instancia de Substancia Fluid e' um atributo de Entidade objectTransferred Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1072-1078	Entidade e' uma instancia de SyntheticSubstance Processo Processo e' uma instancia de Processo Intencional Entidade e' o resultado de Processo Entidade e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	Fisico e' uma instancia de Weaving Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Substancia Pliable e' um atributo de Entidade Entidade e' um patient de Fisico Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' igual a Entidade Entidade e' RightAngle em relacao a Entidade Entidade e' o resultado de Fisico Entidade e' uma instancia de Artefato
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21852-21857	Processo e' uma instancia de ChemicalAttack Objeto Objeto e' uma instancia de Substancia Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21574-21583	Entidade e' uma instancia de Emulsion Objeto Objeto Objeto e' uma instancia de Substancia Objeto e' uma instancia de Substancia Liquid e' um atributo de Objeto Liquid e' um atributo de Objeto Objeto e' igual a Objeto

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: