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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17542-17542 Solid is the opposite of liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31440-31440 roomTempState Absolut and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31558-31558 roomTempState alcohol and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31421-31421 roomTempState alcoholic beverage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31559-31559 roomTempState aldosterone and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31560-31560 roomTempState alkaloid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31428-31428 roomTempState amaretto and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31562-31562 roomTempState amino acid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31425-31425 roomTempState aperitif and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31565-31565 roomTempState atropine and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31436-31436 roomTempState Bacardi and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31566-31566 roomTempState bacitracin and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31429-31429 roomTempState Baileys and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31445-31445 roomTempState beer and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31417-31417 roomTempState beverage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31553-31553 roomTempState blood agent and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31454-31454 roomTempState boron and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31444-31444 roomTempState brandy and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31485-31485 roomTempState bromine and liquid
No TPTP formula. May not be expressible in strict first order. Food.kif 3170-3170 roomTempState buttermilk and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31426-31426 roomTempState Campari and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31430-31430 roomTempState Chambord and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31423-31423 roomTempState champagne and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31575-31575 roomTempState chemical acid and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31576-31576 roomTempState chemical base and liquid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17543-17543 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 7545-7554
No TPTP formula. May not be expressible in strict first order. Merge.kif 17594-17601
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31678-31689
No TPTP formula. May not be expressible in strict first order. Merge.kif 13943-13945

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10276-10280
No TPTP formula. May not be expressible in strict first order. Merge.kif 13933-13941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4692-4696
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 13979-13987
No TPTP formula. May not be expressible in strict first order. Geography.kif 6997-7014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9964-9976
No TPTP formula. May not be expressible in strict first order. Merge.kif 13953-13966
No TPTP formula. May not be expressible in strict first order. Merge.kif 14000-14008
No TPTP formula. May not be expressible in strict first order. Geography.kif 7497-7509
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 13912-13920
No TPTP formula. May not be expressible in strict first order. Merge.kif 11226-11230
No TPTP formula. May not be expressible in strict first order. Geography.kif 7049-7066
No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13878
No TPTP formula. May not be expressible in strict first order. Merge.kif 13809-13818
No TPTP formula. May not be expressible in strict first order. Merge.kif 17995-18001
No TPTP formula. May not be expressible in strict first order. Merge.kif 18013-18021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1899-1906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5003-5008
No TPTP formula. May not be expressible in strict first order. Food.kif 395-397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10498-10510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4570-4585
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 10010-10023

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