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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16835-16835 Solid is the opposite of liquid
s__documentation(s__Solid,s__ChineseLanguage,'"这是如果一个 Object 的形状和体积都是固定的话,它的 Attribute 便是属于 Solid。"')

chinese_format.kif 3924-3925
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 16845-16846
s__instance(s__PhysicalState,s__SetOrClass)

s__instance(s__Solid,s__PhysicalState)

Merge.kif 16844-16844 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 16836-16836 Solid are all the attributes of physical state
s__termFormat(s__ChineseLanguage,s__Solid,'"固体"')

domainEnglishFormat.kif 53847-53847
s__termFormat(s__ChineseTraditionalLanguage,s__Solid,'"固體"')

domainEnglishFormat.kif 53846-53846
s__termFormat(s__EnglishLanguage,s__Solid,'"solid"')

domainEnglishFormat.kif 53845-53845

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


( ! [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
( ! [V__MBR,V__C,V__S,V__X,V__Sub] :
   (((s__instance(V__MBR,s__Object) &
         s__instance(V__X,s__Integer))
       =>
       (((s__instance(V__C,s__Crystal) &
             s__attribute(V__C,s__MonoCrystalline) &
             s__instance(V__Sub,s__Substance) &
             s__attribute(V__Sub,s__Solid) &
             s__attribute(V__Sub,s__PolyCrystalline) &
             s__instance(V__S,s__Substance) &
             s__surface(V__S,V__Sub)
           &
           ~(s__part(V__C,V__S)))
       =>
       (( ? [V__CLNT] :
           ((s__instance(V__CLNT,s__Collection) &
               s__memberCount(V__CLNT,V__X)
             &
             s__greaterThanOrEqualTo(V__X,n__4)
           &
           (s__member(V__MBR,V__CLNT)
           =>
           ((s__part(V__MBR,V__Sub)
             &
             s__meetsSpatially(V__C,V__MBR)))))))))))
)
)

Geography.kif 6672-6692
( ! [V__FILTER,V__REMOVE,V__GAS,V__PARTICLE] :
   ((s__instance(V__PARTICLE,s__Object) =>
       (((s__instance(V__FILTER,s__AbsoluteFilter) &
             s__instance(V__REMOVE,s__Removing) &
             s__origin(V__REMOVE,V__GAS)
           &
           s__instance(V__GAS,s__GasMixture) &
           s__patient(V__REMOVE,V__PARTICLE)
         &
         s__attribute(V__PARTICLE,s__Solid) &
         s__instrument(V__REMOVE,V__FILTER))
     =>
     (~(s__part(V__PARTICLE,V__GAS))))))
)
)

MilitaryDevices.kif 1379-1389
( ! [V__A,V__D,V__W,V__M] :
   ((s__instance(V__D,s__RealNumber) =>
       (((s__instance(V__W,s__Water) &
             s__instance(V__M,s__Mixture) &
             s__part(V__W,V__M)
           &
           s__instance(V__A,s__Antifreeze) &
           s__part(V__A,V__M)
         &
         s__attribute(V__M,s__Solid) &
         s__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree)))
     =>
     (s__greaterThan(n__32,V__D)))))
)
)

Cars.kif 1219-1228

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


( ! [V__ICE] :
   (((s__instance(V__ICE,s__Ice) =>
         (s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid)))
       &
       ((s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid))
         =>
         s__instance(V__ICE,s__Ice)))
     )
   )

Mid-level-ontology.kif 8558-8562 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__instance(V__ACT,s__Eating) &
             s__resource(V__ACT,V__FOOD))
         =>
         (s__attribute(V__FOOD,s__Solid)))))
   )
)

Merge.kif 9866-9870
No TPTP formula. May not be expressible in strict first order. Geography.kif 6527-6544
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. Cars.kif 2986-2992
No TPTP formula. May not be expressible in strict first order. Merge.kif 13281-13289
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Mining))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Removing) &
                     s__patient(V__EV,V__THING)
                   &
                   s__instance(V__THING,s__PureSubstance) &
                   s__attribute(V__THING,s__Solid) &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. Weather.kif 1091-1096
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 13249-13262
( ! [V__PRES,V__MELT,V__X,V__Y,V__TEMP] :
   (((s__instance(V__PRES,s__RealNumber) &
         s__instance(V__MELT,s__RealNumber) &
         s__instance(V__X,s__Object) &
         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__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree))
         &
         s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
       &
       s__greaterThan(V__PRES,n__29_92)
     &
     s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
   &
   s__lessThan(V__TEMP,V__MELT))
=>
(s__attribute(V__X,s__Solid)))))
)
)

Merge.kif 13189-13198
( ! [V__C] :
   ((s__instance(V__C,s__Clot) =>
       (s__attribute(V__C,s__Solid)))
     )
   )

Mid-level-ontology.kif 9795-9797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9769-9781
( ! [V__E] :
   ((s__instance(V__E,s__Exhaust) =>
       (( ? [V__S, V__G, V__C] :
           ((s__instance(V__S,s__Object) &
               s__instance(V__G,s__Object) &
               (s__instance(V__C,s__Combustion) &
                 s__attribute(V__S,s__Solid) &
                 s__attribute(V__G,s__Gas) &
                 s__part(V__S,V__E)
               &
               s__part(V__G,V__E)
             &
             s__result(V__C,V__E)))))))
)
)

Cars.kif 1150-1159
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
( ! [V__FROST] :
   ((s__instance(V__FROST,s__Frosting) =>
       (( ? [V__ICE, V__OBJ] :
           ((s__instance(V__ICE,s__Ice) &
               s__attribute(V__ICE,s__MonoCrystalline) &
               s__patient(V__FROST,V__ICE)
             &
             s__instance(V__OBJ,s__Object) &
             s__attribute(V__OBJ,s__Solid) &
             s__destination(V__FROST,V__OBJ)
           &
           s__meetsSpatially(V__FROST,V__OBJ))))))
)
)

Weather.kif 2775-2785
( ! [V__Glacier] :
   ((s__instance(V__Glacier,s__Glacier) =>
       (( ? [V__Water] :
           ((s__instance(V__Water,s__Water) &
               s__attribute(V__Water,s__Solid) &
               s__part(V__Water,V__Glacier))))))
   )
)

Geography.kif 5786-5792
( ! [V__ICING] :
   ((s__instance(V__ICING,s__Icing) =>
       (( ? [V__ICE, V__OBJ] :
           ((s__instance(V__ICE,s__Ice) &
               s__attribute(V__ICE,s__PolyCrystalline) &
               s__patient(V__ICING,V__ICE)
             &
             s__instance(V__OBJ,s__Object) &
             s__attribute(V__OBJ,s__Solid) &
             s__destination(V__ICING,V__OBJ)
           &
           s__meetsSpatially(V__ICE,V__OBJ))))))
)
)

Weather.kif 2507-2517
( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__HardcopyDocument) =>
       (s__attribute(V__OBJ,s__Solid)))
     )
   )

Media.kif 1039-1041
( ! [V__P] :
   ((s__instance(V__P,s__Pill) =>
       (s__attribute(V__P,s__Solid)))
     )
   )

Mid-level-ontology.kif 8838-8840
( ! [V__POWDER] :
   ((s__instance(V__POWDER,s__Powder) =>
       (s__attribute(V__POWDER,s__Solid)))
     )
   )

Mid-level-ontology.kif 8533-8535
( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Hailing) =>
       (s__precipitationState(V__PROCESS,s__Solid)))
     )
   )

Weather.kif 1180-1182
( ! [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Snowing) =>
       (s__precipitationState(V__PROCESS,s__Solid)))
     )
   )

Weather.kif 1137-1139
( ! [V__Rock] :
   ((s__instance(V__Rock,s__Rock) =>
       (s__attribute(V__Rock,s__Solid)))
     )
   )

Mid-level-ontology.kif 16983-16985
( ! [V__X] :
   ((s__instance(V__X,s__Feces) =>
       (s__attribute(V__X,s__Solid)))
     )
   )

Mid-level-ontology.kif 2019-2021

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