Solid - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	Solid est l'oppos� 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 17574-17575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17573-17573	Solid est une instance de �tat physique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17565-17565	exhaustiveAttribute �tat physique, Solid, Liquid, Gas and Plasma
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31553-31553	roomTempState AbrinToxin and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31535-31535	roomTempState Actinium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31557-31557	roomTempState Alumina and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31459-31459	roomTempState Aluminum and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31541-31541	roomTempState Americium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31559-31559	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 31497-31497	roomTempState Antimony and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31479-31479	roomTempState Arsenic and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31560-31560	roomTempState Asbestos and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31531-31531	roomTempState Astatine and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31563-31563	roomTempState Barite and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31502-31502	roomTempState Barium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31564-31564	roomTempState Batrachotoxin and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31565-31565	roomTempState Bauxite and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31543-31543	roomTempState Berkelium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31449-31449	roomTempState Beryllium and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31529-31529	roomTempState Bismuth and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31566-31566	roomTempState BotulinumToxin and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31412-31412	roomTempState Boulder and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31396-31396	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 31494-31494	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	Objet est une instance de Colloid objet est une partie de objet Solid est un attribut de objet Liquid est un attribut de objet objet est une instance de Air objet est une partie de objet objet est une instance de Aerosal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	Objet est une instance de Crystal MonoCrystalline est un attribut de objet objet en une partie est une instance de substance Solid est un attribut de objet en une partie PolyCrystalline est un attribut de objet en une partie objet en une partie est une instance de substance objet en une partie est une surface de objet en une partie objet est une partie de objet en une partie objetLNT nombre entier and objet objetLNT est une instance de collection memberCount objetLNT and nombre entier nombre entier est plus grand ou �gal � 4 objet est un membre de objetLNT objet est une partie de objet en une partie objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	Objet est une instance de AbsoluteFilter processus est une instance de supprimer processus a pour origine objet objet est une instance de GasMixture objet est un patient de processus Solid est un attribut de objet objet est un instrument pour processus objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	Objet est une instance de TapWater objet est une instance de mixture objet est une partie de objet objet est une instance de Antifreeze objet est une partie de objet Solid est un attribut de objet la mesure de objet est nombre r�el CelsiusDegree(s) 32 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21615-21621	Objet est une instance de Colloid Solid est un attribut de objet Fluid est un attribut de objet objet est entit� entit� est une instance de Gel

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8978-8982	Objet est une instance de Ice objet est une instance de eau Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10287-10291	Processus est une instance de manger objet est une resource pour processus Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	Processus est une instance de Deposition objet est un patient de processus objet objet est une partie de objet Gas est un attribut de objet pendant le d�but de temps d'existence de processus Solid est un attribut de objet pendant la fin de temps d'existence de processus Liquid est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	Processus est une instance de congeler objet est un patient de processus objet objet est une partie de objet Liquid est un attribut de objet pendant le d�but de temps d'existence de processus Solid est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2992-2998	Entit� est une instance de Grease la mesure de entit� est 77 FahrenheitDegree(s) pendant position temporel Solid est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	Processus est une instance de mettre en fusion objet est un patient de processus objet objet est une partie de objet Solid est un attribut de objet pendant le d�but de temps d'existence de processus Liquid est un attribut de objet pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	Collection est une instance de organisation Mining est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet processus2 and AutonomousAgent2 AutonomousAgent est une instance de supprimer objet est un patient de AutonomousAgent objet est une instance de substance pure Solid est un attribut de objet processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 objet est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1087-1092	Processus est une instance de FreezingRain entit� est un patient de processus entit� est une instance de eau Solid est un attribut de entit� pendant immediatement apr�s temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	Processus est une instance de Sublimation objet est un patient de processus objet objet est une partie de objet Solid est un attribut de objet pendant le d�but de temps d'existence de processus Gas est un attribut de objet pendant la fin de temps d'existence de processus Liquid est un attribut de objet pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13902-13915	Entit� est une instance de substance pure meltingPoint substance pure and nombre r�el unit� de mesure(s) la mesure de entit� est nombre r�el unit� de mesure(s) pendant interval temporel unit� de mesure est une instance de UnitOfTemperature nombre r�el est moins que nombre r�el Solid est un attribut de entit� pendant interval temporel processus interval temporel recouvre temps d'existence de processus processus est une instance de congeler entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objet est une instance de substance pure substance pure est une sous-classe de substance pure meltingPoint substance pure and nombre r�el KelvinDegree(s) barometricPressure objet and nombre r�el InchMercury(s) nombre r�el est plus grand que 29.92 la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est moins que nombre r�el Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10523-10525	Objet est une instance de Clot Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10497-10509	Physique est une instance de Clotting entit� entit� est une instance de sang Liquid est un attribut de entit� pendant immediatement avant temps d'existence de physique Solid est un attribut de entit� pendant immediatement apr�s temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	Physique est une instance de Colander physique a pour but entit� entit�, entit� and entit� entit� est une instance de mixture entit� est une instance de substance entit� est une partie de entit� Liquid est un attribut de entit� entit� est une instance de supprimer entit� est un patient de entit� entit� est une instance de substance entit� est une partie de entit� Solid est un attribut de entit� entit� est le resultat de entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	Objet est une instance de Exhaust objet objet and processus processus est une instance de combustion Solid est un attribut de objet Gas est un attribut de objet objet est une partie de objet objet est une partie de objet objet est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	Physique est une instance de AirFilter physique a pour but entit� entit�, entit� and entit� entit� est une instance de supprimer entit� est une partie de entit� entit� est une instance de Air entit� est une instance de Air Solid est un attribut de entit� entit� est un patient de entit� entit� est une partie de entit� entit� a pour origine entit� entit� est une instance de mixture physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2778-2788	Processus est une instance de Frosting objet objet objet est une instance de Ice MonoCrystalline est un attribut de objet objet est un patient de processus objet est une instance de objet Solid est un attribut de objet processus aboutit � objet processus rencontre objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	Objet est une instance de Glacier objet objet est une instance de eau Solid est un attribut de objet objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2510-2520	Processus est une instance de Icing objet objet objet est une instance de Ice PolyCrystalline est un attribut de objet objet est un patient de processus objet est une instance de objet Solid est un attribut de objet processus aboutit � objet objet rencontre objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9250-9252	Objet est une instance de Pill Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8953-8955	Objet est une instance de Powder Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1176-1178	WeatherProcess est une instance de Hailing precipitationState WeatherProcess and Solid
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1133-1135	WeatherProcess est une instance de Snowing precipitationState WeatherProcess and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17909-17911	Objet est une instance de Rock Solid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	Physique est une instance de Strainer physique a pour but entit� physiqueUB, entit� and entit� entit� est une instance de mixture physiqueUB est une instance de substance entit� est une instance de substance physiqueUB est une partie de entit� Solid est un attribut de physiqueUB entit� est une instance de supprimer entit� est une partie de entit� Liquid est un attribut de entit� physiqueUB est un patient de entit� entit� est le resultat de entit� physique est un instrument pour entit�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: