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
-------------------------


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

chinese_format.kif 3928-3929
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 16855-16856
s__instance(s__PhysicalState,s__SetOrClass)

s__instance(s__Liquid,s__PhysicalState)

Merge.kif 16853-16853 Liquid is an instance of physical state
s__subAttribute(s__Liquid,s__Fluid)

Merge.kif 16854-16854 Liquid is a subattribute of fluid

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


s__contraryAttribute__4(s__Solid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 16835-16835 Solid is the opposite of liquid
s__termFormat(s__ChineseLanguage,s__Liquid,'"液体"')

domainEnglishFormat.kif 34602-34602
s__termFormat(s__ChineseTraditionalLanguage,s__Liquid,'"液體"')

domainEnglishFormat.kif 34601-34601
s__termFormat(s__EnglishLanguage,s__Liquid,'"liquid"')

domainEnglishFormat.kif 34600-34600

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


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

Merge.kif 16836-16836 Solid are all the attributes of physical state

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
( ! [V__P,V__C,V__AIR] :
   ((s__instance(V__P,s__Object) =>
       (((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 7103-7112

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


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

Merge.kif 9877-9881
No TPTP formula. May not be expressible in strict first order. Merge.kif 13302-13310
( ! [V__BOTTLE,V__STUFF] :
   ((s__instance(V__STUFF,s__Object) =>
       (((s__instance(V__BOTTLE,s__Bottle) &
             s__contains(V__BOTTLE,V__STUFF))
         =>
         (s__attribute(V__STUFF,s__Liquid)))))
   )
)

Mid-level-ontology.kif 4409-4413
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 13341-13349
No TPTP formula. May not be expressible in strict first order. Geography.kif 6527-6544
( ! [V__A,V__E] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__E,s__Edema) &
             s__experiencer(V__E,V__A))
         =>
         (( ? [V__T, V__P, V__L] :
             ((s__instance(V__T,s__Transfer) &
                 s__instance(V__L,s__Liquid) &
                 s__instance(V__P,s__BodyPart) &
                 s__part(V__P,V__A)
               &
               s__destination(V__T,V__P)
             &
             s__moves(V__T,V__L)
           &
           s__subProcess(V__T,V__E))))))))
)
)

Mid-level-ontology.kif 9295-9307
No TPTP formula. May not be expressible in strict first order. Merge.kif 13316-13328
No TPTP formula. May not be expressible in strict first order. Merge.kif 13362-13370
No TPTP formula. May not be expressible in strict first order. Geography.kif 7055-7067
( ! [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__instance(V__L,s__Object) &
             (s__attribute(V__L,s__Liquid) &
               s__objectTransferred(V__C,V__L)))))))
)
)

Cars.kif 2166-2174
No TPTP formula. May not be expressible in strict first order. Merge.kif 13281-13289
( ! [V__OBJ,V__MOTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__MOTION,s__LiquidMotion) &
             s__patient(V__MOTION,V__OBJ))
         =>
         (s__attribute(V__OBJ,s__Liquid)))))
   )
)

Merge.kif 10782-10786
No TPTP formula. May not be expressible in strict first order. Geography.kif 6579-6596
No TPTP formula. May not be expressible in strict first order. Merge.kif 13232-13247
( ! [V__MELT,V__X,V__BOIL,V__Y,V__TEMP] :
   (((s__instance(V__MELT,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__BOIL,s__RealNumber) &
         s__instance(V__Y,s__Class) &
         s__subclass(V__Y,s__PureSubstance) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((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 13178-13187
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__attribute(V__OBJ,s__Dry) =>
           (~(( ? [V__SUBOBJ] :
                 ((s__instance(V__SUBOBJ,s__Object) &
                     (s__part(V__SUBOBJ,V__OBJ)
                     &
                     s__attribute(V__SUBOBJ,s__Liquid))))))))))
   )
)

Merge.kif 17276-17282
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       ((s__attribute(V__OBJ,s__Wet) =>
           (( ! [V__PART] :
               ((s__instance(V__PART,s__Object) =>
                   ((s__part(V__PART,V__OBJ)
                     =>
                     (( ? [V__SUBPART] :
                         ((s__instance(V__SUBPART,s__Object) &
                             (s__part(V__SUBPART,V__PART)
                             &
                             s__attribute(V__SUBPART,s__Liquid)))))))))))))))
)
)

Merge.kif 17294-17302
( ! [V__AERATE] :
   ((s__instance(V__AERATE,s__Aerating) =>
       (( ? [V__AIR, V__S] :
           ((s__instance(V__S,s__Object) &
               (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 1837-1844
( ! [V__B] :
   ((s__instance(V__B,s__Bubble) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__SelfConnectedObject) &
               (s__surface(V__S,V__B)
               &
               s__attribute(V__S,s__Liquid)))))))
   )
)

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

Mid-level-ontology.kif 20554-20556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9769-9781
( ! [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 18649-18655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9341-9354
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