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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liquid
Liquid(liquid)dissolvent, dissolver, dissolving_agent, distillate, distillation, elixir, extravasation, fluid, fluidity, fluidness, gluey, glutinous, gooey, gummy, icky, instillation, liquid, liquid_crystal, liquid_nitrogen, liquid_state, liquidity, liquidness, liquor, menstruum, methylbenzene, mucilaginous, oil-water_interface, pasty, pitchy, resinous, resiny, resolvent, ropey, ropy, runniness, runny, solvent, spill, splashed, sticky, stringy, supernatant, syrupy, tarry, thready, toluene, viscid, viscous, wateriness, watery...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3928-3929
No TPTP formula. May not be expressible in strict first order. Merge.kif 16336-16337
No TPTP formula. May not be expressible in strict first order. Merge.kif 16334-16334 Liquid is an instance of physical state
No TPTP formula. May not be expressible in strict first order. Merge.kif 16335-16335 Liquid is a subattribute of fluid

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16316-16316 Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34513-34513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34512-34512
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34511-34511

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16317-16317 Solid are all the attributes of physical state

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1737-1757
No TPTP formula. May not be expressible in strict first order. Geography.kif 6911-6920

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9663-9667
No TPTP formula. May not be expressible in strict first order. Merge.kif 12902-12910
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5018-5022
No TPTP formula. May not be expressible in strict first order. Cars.kif 1737-1757
No TPTP formula. May not be expressible in strict first order. Merge.kif 12941-12949
No TPTP formula. May not be expressible in strict first order. Geography.kif 6335-6352
No TPTP formula. May not be expressible in strict first order. Merge.kif 12916-12928
No TPTP formula. May not be expressible in strict first order. Merge.kif 12962-12970
No TPTP formula. May not be expressible in strict first order. Geography.kif 6863-6875
No TPTP formula. May not be expressible in strict first order. Cars.kif 2153-2161
No TPTP formula. May not be expressible in strict first order. Merge.kif 12881-12889
No TPTP formula. May not be expressible in strict first order. Merge.kif 10473-10477
No TPTP formula. May not be expressible in strict first order. Geography.kif 6387-6404
No TPTP formula. May not be expressible in strict first order. Merge.kif 12832-12847
No TPTP formula. May not be expressible in strict first order. Merge.kif 12778-12787
No TPTP formula. May not be expressible in strict first order. Merge.kif 16663-16669
No TPTP formula. May not be expressible in strict first order. Merge.kif 16681-16689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2360-2367
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5306-5311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19293-19295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17449-17455
No TPTP formula. May not be expressible in strict first order. Cars.kif 2489-2497
No TPTP formula. May not be expressible in strict first order. Cars.kif 1583-1592
No TPTP formula. May not be expressible in strict first order. Cars.kif 3026-3035
No TPTP formula. May not be expressible in strict first order. Merge.kif 10638-10646

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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