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 14770-14774
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 14769-14769 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 14756-14756 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 1708-1708 Diesel fuel is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1703-1703 Gasoline is a subclass of solution
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8797-8797 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 3293-3293 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 17639-17641

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21624-21629
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 19645-19651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19629-19639
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