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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17282-17282 Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34602-34602
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34601-34601
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34600-34600

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


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

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Geography.kif 7261-7270

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10183-10187
No TPTP formula. May not be expressible in strict first order. Merge.kif 13686-13694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4426-4430
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Merge.kif 13725-13733
No TPTP formula. May not be expressible in strict first order. Geography.kif 6685-6702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9532-9544
No TPTP formula. May not be expressible in strict first order. Merge.kif 13700-13712
No TPTP formula. May not be expressible in strict first order. Merge.kif 13746-13754
No TPTP formula. May not be expressible in strict first order. Geography.kif 7213-7225
No TPTP formula. May not be expressible in strict first order. Cars.kif 2166-2174
No TPTP formula. May not be expressible in strict first order. Merge.kif 13665-13673
No TPTP formula. May not be expressible in strict first order. Merge.kif 11095-11099
No TPTP formula. May not be expressible in strict first order. Geography.kif 6737-6754
No TPTP formula. May not be expressible in strict first order. Merge.kif 13616-13631
No TPTP formula. May not be expressible in strict first order. Merge.kif 13562-13571
No TPTP formula. May not be expressible in strict first order. Merge.kif 17726-17732
No TPTP formula. May not be expressible in strict first order. Merge.kif 17744-17752
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1854-1861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4725-4730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20886-20888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10006-10018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18968-18974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9578-9591
No TPTP formula. May not be expressible in strict first order. Cars.kif 2502-2510

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