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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Solution

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 14724-14728
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2524-2524
No TPTP formula. May not be expressible in strict first order. Merge.kif 14723-14723 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 14710-14710 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 1715-1715 Diesel fuel is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1710-1710 Gasoline is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8770-8770 Saline 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 860-860
No TPTP formula. May not be expressible in strict first order. french_format.kif 505-505
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 37-37
No TPTP formula. May not be expressible in strict first order. terms-it.txt 40-40
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2190-2190
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 457-457
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 42-42
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 72-72
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 526-526
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 41-41

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21597-21602
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7392
No TPTP formula. May not be expressible in strict first order. Geography.kif 7352-7363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19618-19624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19602-19612
No TPTP formula. May not be expressible in strict first order. Cars.kif 922-936


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