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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Solid

Sigma KEE - Solid
Solid(solid)compactness, dry_ice, frozen, hard, solid, solid-state, solid_state, solidity, solidness, undissolved, vitrification

appearance as argument number 1
-------------------------


s__contraryAttribute__4(s__Solid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 17963-17963 Solid is the opposite of liquid
s__documentation(s__Solid,s__ChineseLanguage,'这是如果一个 Object 的形状和体积都是固定的话,它的 Attribute 便是属于 Solid。')

Merge.kif 17978-17979
s__documentation(s__Solid,s__EnglishLanguage,'An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.')

Merge.kif 17976-17977
s__instance(s__PhysicalState,s__SetOrClass)

s__instance(s__Solid,s__PhysicalState)

Merge.kif 17975-17975 Solid is an instance of physical state

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


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

Merge.kif 17964-17964 Solid are all the attributes of physical state
s__termFormat(s__EnglishLanguage,s__Solid,'solid')

domainEnglishFormat.kif 9401-9401 "solid" is the printable form of solid in english language

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


( ∀ [V__P,V__C,V__AIR]
   (s__instance(V__P,s__Object)s__=>((s__instance(V__C,s__Colloid)s__and__ms__part(V__P,V__C)
      s__and__m(s__attribute(V__P,s__Solid)s__or__ms__attribute(V__P,s__Liquid))
    s__and__ms__instance(V__AIR,s__Air)s__and__ms__part(V__AIR,V__C))
s__=>s__instance(V__C,s__Aerosal)))
)

Geography.kif 6895-6904
( ∀ [V__MBR,V__X,V__C,V__Sub,V__S]
   ((s__instance(V__MBR,s__Object)s__and__ms__instance(V__X,s__Integer))
    s__=>((s__instance(V__C,s__Crystal)s__and__ms__attribute(V__C,s__MonoCrystalline)s__and__ms__instance(V__Sub,s__Substance)s__and__ms__attribute(V__Sub,s__Solid)s__and__ms__attribute(V__Sub,s__PolyCrystalline)s__and__ms__instance(V__S,s__Substance)s__and__ms__surface(V__S,V__Sub)
      s__and__m(s__not__ms__part(V__C,V__S)))
s__=>(s__exists__m[V__CLNT]
   (s__instance(V__CLNT,s__Collection)s__and__ms__memberCount(V__CLNT,V__X)
  s__and__ms__greaterThanOrEqualTo(V__X,4)
s__and__m(s__member(V__MBR,V__CLNT)
s__=>(s__part(V__MBR,V__Sub)
s__and__ms__meetsSpatially(V__C,V__MBR)))))))
)

Geography.kif 6464-6484
( ∀ [V__PARTICLE,V__FILTER,V__REMOVE,V__GAS]
   (s__instance(V__PARTICLE,s__Object)s__=>((s__instance(V__FILTER,s__AbsoluteFilter)s__and__ms__instance(V__REMOVE,s__Removing)s__and__ms__origin(V__REMOVE,V__GAS)
      s__and__ms__instance(V__GAS,s__GasMixture)s__and__ms__patient(V__REMOVE,V__PARTICLE)
    s__and__ms__attribute(V__PARTICLE,s__Solid)s__and__ms__instrument(V__REMOVE,V__FILTER))
s__=>(s__not__ms__part(V__PARTICLE,V__GAS))))
)

MilitaryDevices.kif 1378-1388
( ∀ [V__D,V__W,V__M,V__A]
   (s__instance(V__D,s__RealNumber)s__=>((s__instance(V__W,s__Water)s__and__ms__instance(V__M,s__Mixture)s__and__ms__part(V__W,V__M)
      s__and__ms__instance(V__A,s__Antifreeze)s__and__ms__part(V__A,V__M)
    s__and__ms__attribute(V__M,s__Solid)s__and__ms__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree)))
s__=>s__greaterThan(32,V__D)))
)

Cars.kif 1223-1232

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


( ∀ [V__ICE]
   (s__instance(V__ICE,s__Ice)s__<⇒
    (s__instance(V__ICE,s__Water)s__and__ms__attribute(V__ICE,s__Solid)))
   )

Mid-level-ontology.kif 8652-8656 An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
( ∀ [V__FOOD,V__ACT]
   (s__instance(V__FOOD,s__Object)s__=>((s__instance(V__ACT,s__Eating)s__and__ms__resource(V__ACT,V__FOOD))
    s__=>s__attribute(V__FOOD,s__Solid)))
)

Merge.kif 10321-10325
No TPTP formula. May not be expressible in strict first order. Geography.kif 6319-6336
No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14002
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2963
No TPTP formula. May not be expressible in strict first order. Merge.kif 13905-13913
( ∀ [V__ORG]
   ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__Mining))
    s__=>(s__exists__m[V__EV,V__MEM]
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING,V__MEM2,V__EV2]
     (s__instance(V__MEM2,s__Agent)s__and__m(s__instance(V__EV,s__Removing)s__and__ms__patient(V__EV,V__THING)
    s__and__ms__instance(V__THING,s__PureSubstance)s__and__ms__attribute(V__THING,s__Solid)s__and__ms__member(V__MEM2,V__ORG)
  s__and__ms__instance(V__EV2,s__Selling)s__and__ms__agent(V__EV2,V__MEM2)
s__and__ms__patient(V__EV2,V__THING))))))))
)

naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. Weather.kif 703-708
No TPTP formula. May not be expressible in strict first order. Geography.kif 6371-6388
No TPTP formula. May not be expressible in strict first order. Merge.kif 13871-13884
( ∀ [V__PRES,V__MELT,V__X,V__Y,V__TEMP]
   ((s__instance(V__PRES,s__RealNumber)s__and__ms__instance(V__MELT,s__RealNumber)s__and__ms__instance(V__X,s__Object)s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__instance(V__Y,s__SetOrClass)s__and__ms__instance(V__TEMP,s__RealNumber))
    s__=>((s__instance(V__X,V__Y)
      s__and__ms__subclass(V__Y,s__PureSubstance)s__and__ms__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
    s__and__ms__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
  s__and__ms__greaterThan(V__PRES,29.92)
s__and__ms__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
s__and__ms__lessThan(V__TEMP,V__MELT))
s__=>s__attribute(V__X,s__Solid)))
)

Merge.kif 13809-13818
( ∀ [V__E]
   (s__instance(V__E,s__Exhaust)s__=>(s__exists__m[V__S,V__G,V__C]
       (s__instance(V__S,s__Object)s__and__ms__instance(V__G,s__Object)s__and__m(s__instance(V__C,s__Combustion)s__and__ms__attribute(V__S,s__Solid)s__and__ms__attribute(V__G,s__Gas)s__and__ms__part(V__S,V__E)
      s__and__ms__part(V__G,V__E)
    s__and__ms__result(V__C,V__E)))))
)

Cars.kif 1140-1149
No TPTP formula. May not be expressible in strict first order. Cars.kif 933-948
( ∀ [V__FROST]
   (s__instance(V__FROST,s__Frosting)s__=>(s__exists__m[V__ICE,V__OBJ]
       (s__instance(V__ICE,s__Ice)s__and__ms__attribute(V__ICE,s__MonoCrystalline)s__and__ms__patient(V__FROST,V__ICE)
      s__and__ms__instance(V__OBJ,s__Object)s__and__ms__attribute(V__OBJ,s__Solid)s__and__ms__destination(V__FROST,V__OBJ)
    s__and__ms__meetsSpatially(V__FROST,V__OBJ))))
)

Weather.kif 1188-1198
( ∀ [V__Ice,V__Glacier]
   (s__instance(V__Ice,s__Object)s__=>(s__instance(V__Glacier,s__Glacier)s__=>(s__exists__m[V__Water]
         (s__instance(V__Water,s__Water)s__and__ms__attribute(V__Water,s__Solid)s__and__ms__part(V__Ice,V__Glacier)))))
)

Geography.kif 5586-5592
( ∀ [V__ICING]
   (s__instance(V__ICING,s__Icing)s__=>(s__exists__m[V__ICE,V__OBJ]
       (s__instance(V__ICE,s__Ice)s__and__ms__attribute(V__ICE,s__PolyCrystalline)s__and__ms__patient(V__ICING,V__ICE)
      s__and__ms__instance(V__OBJ,s__Object)s__and__ms__attribute(V__OBJ,s__Solid)s__and__ms__destination(V__ICING,V__OBJ)
    s__and__ms__meetsSpatially(V__ICE,V__OBJ))))
)

Weather.kif 936-946
( ∀ [V__OBJ]
   (s__instance(V__OBJ,s__HardcopyDocument)s__=>s__attribute(V__OBJ,s__Solid))
   )

Media.kif 1039-1041
( ∀ [V__POWDER]
   (s__instance(V__POWDER,s__Powder)s__=>s__attribute(V__POWDER,s__Solid))
   )

Mid-level-ontology.kif 8627-8629
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Hailing)s__=>s__precipitationState(V__PROCESS,s__Solid))
   )

Weather.kif 802-804
( ∀ [V__PROCESS]
   (s__instance(V__PROCESS,s__Snowing)s__=>s__precipitationState(V__PROCESS,s__Solid))
   )

Weather.kif 749-751
( ∀ [V__Rock]
   (s__instance(V__Rock,s__Rock)s__=>s__attribute(V__Rock,s__Solid))
   )

Mid-level-ontology.kif 15611-15613
( ∀ [V__X]
   (s__instance(V__X,s__Feces)s__=>s__attribute(V__X,s__Solid))
   )

Mid-level-ontology.kif 2541-2543
( ∀ [V__X]
   (s__instance(V__X,s__LiquidFood)s__=>(s__not__m(s__exists__m[V__ING]
       (s__instance(V__ING,s__Object)s__and__m(s__part(V__ING,V__X)
      s__and__ms__attribute(V__ING,s__Solid))))))
)

Mid-level-ontology.kif 19214-19220
( ∀ [V__X]
   (s__instance(V__X,s__SolidFood)s__=>(s__exists__m[V__ING]
       (s__instance(V__ING,s__Object)s__and__m(s__part(V__ING,V__X)
      s__and__ms__attribute(V__ING,s__Solid)))))
)

Mid-level-ontology.kif 19200-19205
( ∀ [V__X]
   (s__instance(V__X,s__Urine)s__=>s__attribute(V__X,s__Solid))
   )

Mid-level-ontology.kif 2559-2561

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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