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 13560-13564
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2525-2525 "http://upload.wikimedia.org/wikipedia/commons/8/89/ SaltInWaterSolutionLiquid.jpg" is a URL depicting solution
No TPTP formula. May not be expressible in strict first order. Merge.kif 13559-13559 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 13546-13546 Liquid mixture is exhaustively partitioned into solution and suspension
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8487-8487 Oil is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3734-3734 Paint is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8448-8448 Saline solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Geography.kif 4103-4103 Soil solution is a subclass of solution
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 829-829 "溶液" is the printable form of solution in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 865-865 "solution" is the printable form of solution in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3833-3833 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 16236-16238

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6718-6730
No TPTP formula. May not be expressible in strict first order. Geography.kif 6690-6701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17396-17402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17380-17390
No TPTP formula. May not be expressible in strict first order. Cars.kif 912-926


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners