TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17621-17621	Solid e' &o oposto de Liquid
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3924-3925
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17631-17632
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17630-17630	Solid e' uma instancia de Estado Fisico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17622-17622	exhaustiveAttribute Estado Fisico, Solid, Liquid, Gas and Plasma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31589-31589	roomTempState AbrinToxin and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31571-31571	roomTempState Actinium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31593-31593	roomTempState Alumina and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31495-31495	roomTempState Aluminum and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31577-31577	roomTempState Americium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31595-31595	roomTempState Amphetamine and Solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2872-2872	roomTempState AnimalFat and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31533-31533	roomTempState Antimony and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31515-31515	roomTempState Arsenic and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31596-31596	roomTempState Asbestos and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31567-31567	roomTempState Astatine and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31599-31599	roomTempState Barite and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31538-31538	roomTempState Barium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31600-31600	roomTempState Batrachotoxin and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31601-31601	roomTempState Bauxite and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31579-31579	roomTempState Berkelium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31485-31485	roomTempState Beryllium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31565-31565	roomTempState Bismuth and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31602-31602	roomTempState BotulinumToxin and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31448-31448	roomTempState Boulder and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31432-31432	roomTempState BrownCoal and Solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3098-3098	roomTempState Butter and Solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2931-2931	roomTempState ButterFat and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31530-31530	roomTempState Cadmium and Solid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	Objeto e' uma instancia de Colloid Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto Liquid e' um atributo de Objeto Objeto e' uma instancia de Air Objeto e' uma &parte de Objeto Objeto e' uma instancia de Aerosal
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.	MilitaryDevices.kif 1379-1389	Objeto e' uma instancia de AbsoluteFilter Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de GasMixture Objeto e' um patient de Processo Solid e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	Objeto e' uma instancia de TapWater Objeto e' uma instancia de Mistura Objeto e' uma &parte de Objeto Objeto e' uma instancia de Antifreeze Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto a medida de Objeto e' Numero Real CelsiusDegree(s) 32 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21643-21649	Objeto e' uma instancia de Colloid Solid e' um atributo de Objeto Fluid e' um atributo de Objeto Objeto e' igual a Entidade Entidade e' uma instancia de Gel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9006-9010	Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10301-10305	Processo e' uma instancia de Comer Objeto e' um recurso para Processo Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	Processo e' uma instancia de Deposition Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Gas e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Solid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14046-14054	Processo e' uma instancia de Congelar Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Liquid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Solid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2969-2975	Entidade e' uma instancia de Grease a medida de Entidade e' 77 FahrenheitDegree(s) vale durante Posicao Temporal Solid e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13958-13966	Processo e' uma instancia de Derreter Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	Colecao e' uma instancia de Organizacao Mining e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Substancia Pura Solid e' um atributo de Objeto Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1075-1080	Processo e' uma instancia de FreezingRain Entidade e' um patient de Processo Entidade e' uma instancia de Agua Solid e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	Processo e' uma instancia de Sublimation Objeto e' um patient de Processo Objeto Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto vale durante o comeco de tempo de existencia de Processo Gas e' um atributo de Objeto vale durante o fim de tempo de existencia de Processo Liquid e' um atributo de Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13926-13939	Entidade e' uma instancia de Substancia Pura meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' menos que Numero Real Solid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Congelar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13866-13875	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura meltingPoint Substancia Pura and Numero Real KelvinDegree(s) barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' maior que 29.92 a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' menos que Numero Real Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10551-10553	Objeto e' uma instancia de Clot Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10525-10537	Fisico e' uma instancia de Clotting Entidade Entidade e' uma instancia de Sangue Liquid e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Fisico Solid e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4565-4580	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.	Cars.kif 1150-1159	Objeto e' uma instancia de Exhaust Objeto Objeto and Processo Processo e' uma instancia de Combustao Solid e' um atributo de Objeto Gas e' um atributo de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	Fisico e' uma instancia de AirFilter Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Air Solid e' um atributo de Entidade Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade e' uma instancia de Mistura Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2765-2775	Processo e' uma instancia de Frosting Objeto Objeto Objeto e' uma instancia de Ice MonoCrystalline e' um atributo de Objeto Objeto e' um patient de Processo Objeto e' uma instancia de Objeto Solid e' um atributo de Objeto Processo termina em Objeto Processo encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	Objeto e' uma instancia de Glacier Objeto Objeto e' uma instancia de Agua Solid e' um atributo de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2497-2507	Processo e' uma instancia de Icing Objeto Objeto Objeto e' uma instancia de Ice PolyCrystalline e' um atributo de Objeto Objeto e' um patient de Processo Objeto e' uma instancia de Objeto Solid e' um atributo de Objeto Processo termina em Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9278-9280	Objeto e' uma instancia de Pill Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8981-8983	Objeto e' uma instancia de Powder Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1164-1166	WeatherProcess e' uma instancia de Hailing precipitationState WeatherProcess and Solid
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1121-1123	WeatherProcess e' uma instancia de Snowing precipitationState WeatherProcess and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17937-17939	Objeto e' uma instancia de Rock Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4544-4559	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show without tree

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: