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 16353-16354
No TPTP formula. May not be expressible in strict first order. Merge.kif 16351-16351 Liquid is an instance of physical state
No TPTP formula. May not be expressible in strict first order. Merge.kif 16352-16352 Liquid is a subattribute of fluid

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16333-16333 Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34534-34534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34533-34533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34532-34532

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16334-16334 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 9686-9690
No TPTP formula. May not be expressible in strict first order. Merge.kif 12919-12927
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 12958-12966
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 12933-12945
No TPTP formula. May not be expressible in strict first order. Merge.kif 12979-12987
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 12898-12906
No TPTP formula. May not be expressible in strict first order. Merge.kif 10496-10500
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 12849-12864
No TPTP formula. May not be expressible in strict first order. Merge.kif 12795-12804
No TPTP formula. May not be expressible in strict first order. Merge.kif 16680-16686
No TPTP formula. May not be expressible in strict first order. Merge.kif 16698-16706
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 19266-19268
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. 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 10658-10666

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 3.0 is open source software produced by Articulate Software and its partners