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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Liquid
Liquiddissolvent, 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
-------------------------


s__documentation(s__Liquid,s__ChineseLanguage,'这是如果一个 Object 的体积是固定,但它的形状却不是固定的话, 那么它的 Attribute 便是属于 Liquid。')

Merge.kif 17940-17941
s__documentation(s__Liquid,s__EnglishLanguage,'An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape.')

Merge.kif 17938-17939
s__instance(s__Liquid,s__PhysicalState)

Merge.kif 17936-17936
s__subAttribute(s__Liquid,s__Fluid)

Merge.kif 17937-17937

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


s__contraryAttribute_4(s__Solid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 17911-17911
s__termFormat(s__EnglishLanguage,s__Liquid,'liquid')

domainEnglishFormat.kif 6188-6188

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


s__exhaustiveAttribute_6(s__PhysicalState,s__Solid,s__Fluid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 17912-17912

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1736-1756
( ! [V__C,V__P,V__AIR] :
   ((s__instance(V__C,s__Colloid) &
       s__part(V__P,V__C)
     &
     (s__attribute(V__P,s__Solid) |
       s__attribute(V__P,s__Liquid))
     &
     s__instance(V__AIR,s__Air) &
     s__part(V__AIR,V__C))
=>
s__instance(V__C,s__Aerosal))
)

Geography.kif 6926-6935

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


( ! [V__ACT,V__FOOD] :
   ((s__instance(V__ACT,s__Drinking) &
       s__resource(V__ACT,V__FOOD))
   =>
   s__attribute(V__FOOD,s__Liquid))
)

Merge.kif 10274-10278
No TPTP formula. May not be expressible in strict first order. Merge.kif 13870-13878
( ! [V__BOTTLE,V__STUFF] :
   ((s__instance(V__BOTTLE,s__Bottle) &
       s__contains(V__BOTTLE,V__STUFF))
   =>
   s__attribute(V__STUFF,s__Liquid))
)

Mid-level-ontology.kif 5017-5021
No TPTP formula. May not be expressible in strict first order. Cars.kif 1736-1756
No TPTP formula. May not be expressible in strict first order. Merge.kif 13913-13921
No TPTP formula. May not be expressible in strict first order. Geography.kif 6320-6337
No TPTP formula. May not be expressible in strict first order. Merge.kif 13886-13898
No TPTP formula. May not be expressible in strict first order. Merge.kif 13936-13944
No TPTP formula. May not be expressible in strict first order. Geography.kif 6878-6890
( ! [V__LECS,V__C] :
   ((s__instance(V__LECS,s__LiquidEngineCoolingSystem) &
       s__instance(V__C,s__Cooling) &
       s__instrument(V__C,V__LECS))
   =>
   (? [V__L] :
     (s__attribute(V__L,s__Liquid) &
       s__objectTransferred(V__C,V__L))))
)

Cars.kif 2152-2160
No TPTP formula. May not be expressible in strict first order. Merge.kif 13847-13855
( ! [V__MOTION,V__OBJ] :
   ((s__instance(V__MOTION,s__LiquidMotion) &
       s__patient(V__MOTION,V__OBJ))
   =>
   s__attribute(V__OBJ,s__Liquid))
)

Merge.kif 11145-11149
No TPTP formula. May not be expressible in strict first order. Geography.kif 6372-6389
No TPTP formula. May not be expressible in strict first order. Merge.kif 13796-13811
( ! [V__X,V__Y,V__BOIL,V__MELT,V__TEMP] :
   ((s__instance(V__X,V__Y)
     &
     s__subclass(V__Y,s__PureSubstance) &
     s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
   &
   s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
&
s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
&
s__greaterThan(V__TEMP,V__MELT)
&
s__lessThan(V__TEMP,V__BOIL))
=>
s__attribute(V__X,s__Liquid))
)

Merge.kif 13740-13749
( ! [V__OBJ] :
   (s__attribute(V__OBJ,s__Dry) =>
     (~ (? [V__SUBOBJ] :
         (s__part(V__SUBOBJ,V__OBJ)
         &
         s__attribute(V__SUBOBJ,s__Liquid)))))
)

Merge.kif 18337-18343
( ! [V__OBJ] :
   (s__attribute(V__OBJ,s__Wet) =>
     (! [V__PART] :
       (s__part(V__PART,V__OBJ)
       =>
       (? [V__SUBPART] :
         (s__part(V__SUBPART,V__PART)
         &
         s__attribute(V__SUBPART,s__Liquid))))))
)

Merge.kif 18359-18367
( ! [V__AERATE] :
   (s__instance(V__AERATE,s__Aerating) =>
     (? [V__AIR,V__S] :
       (s__patient(V__AERATE,V__AIR)
       &
       s__instance(V__AIR,s__Air) &
       s__patient(V__AERATE,V__S)
     &
     s__attribute(V__S,s__Liquid))))
)

Mid-level-ontology.kif 2359-2366
( ! [V__B] :
   (s__instance(V__B,s__Bubble) =>
     (? [V__S] :
       (s__surface(V__S,V__B)
       &
       s__attribute(V__S,s__Liquid))))
)

Mid-level-ontology.kif 5305-5310
( ! [V__BEV] :
   (s__instance(V__BEV,s__Beverage) =>
     s__attribute(V__BEV,s__Liquid))
   )

Mid-level-ontology.kif 19170-19172
( ! [V__D] :
   (s__instance(V__D,s__Diluting) =>
     (? [V__S] :
       (s__patient(V__D,V__S)
       &
       s__instance(V__S,s__Solution) &
       s__attribute(V__S,s__Liquid))))
)

Mid-level-ontology.kif 17337-17343
No TPTP formula. May not be expressible in strict first order. Cars.kif 2488-2496
No TPTP formula. May not be expressible in strict first order. Cars.kif 1582-1591
No TPTP formula. May not be expressible in strict first order. Cars.kif 3022-3031
( ! [V__INJECT] :
   (s__instance(V__INJECT,s__Injecting) =>
     (? [V__SUBSTANCE,V__ANIMAL] :
       (s__patient(V__INJECT,V__SUBSTANCE)
       &
       s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &
       s__attribute(V__SUBSTANCE,s__Liquid) &
       s__destination(V__INJECT,V__ANIMAL)
     &
     s__instance(V__ANIMAL,s__Animal))))
)

Merge.kif 11316-11324

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