Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Solution
Solution(solution)
Clorox, Fehling's_solution, French_polish, French_polish_shellac, Gram's_solution, Javel_water, Javelle_water, Lysol, PBS, Ringer's_solution, Ringer_solution, acrylic, acrylic_paint, after-shave, after-shave_lotion, ammonia, ammonia_water, ammonium_hydroxide, antiknock, antiknocking, application, aqueous_solution, austenite, battery_acid, black_lotion, blackwash, bleach_liquor, body_lotion, brilliantine, brine, buffer_solution, calamine_lotion, calcimine, casein, casein_paint, castor_oil, chlorhexidine, chlorine_water, chrism, chrisom, collodion, collyrium, cologne, cologne_water, color_wash, colour_wash, conditioner, conjugate, conjugate_solution, couch...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3460-3462
No TPTP formula. May not be expressible in strict first order. Merge.kif 14877-14881
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2523-2523
No TPTP formula. May not be expressible in strict first order. Merge.kif 14876-14876 Solution is a subclass of liquid mixture

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14863-14863 Liquid mixture is exhaustively partitioned into solution and suspension
No TPTP formula. May not be expressible in strict first order. Cars.kif 1214-1214 Antifreeze is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2178-2178 Diesel fuel is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2173-2173 Gasoline is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9976-9976 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 829-829 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. english_format.kif 860-860 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. french_format.kif 505-505 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 37-37 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. terms-it.txt 40-40 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2190-2190 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 457-457 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 42-42 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 72-72 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. terms-de.txt 331-331 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 526-526 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 41-41 Saline solution is a subclass of solution

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3743-3743 The number 1 argument of potential of hydrogen is an instance of solution

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17743-17745

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23214-23219
No TPTP formula. May not be expressible in strict first order. Geography.kif 7684-7696
No TPTP formula. May not be expressible in strict first order. Geography.kif 7656-7667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21189-21195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21173-21183
No TPTP formula. May not be expressible in strict first order. Cars.kif 922-936


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