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 13678-13682
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2525-2525
No TPTP formula. May not be expressible in strict first order. Merge.kif 13677-13677 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 13664-13664 Liquid mixture is exhaustively partitioned into solution and suspension
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8467-8467 Oil is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3740-3740 Paint is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8428-8428 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 865-865

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


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

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 17422-17428
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17406-17416
No TPTP formula. May not be expressible in strict first order. Cars.kif 913-927


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