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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Metal
Metal(metal)
24-karat_gold, alkali_metal, alkaline-earth_metal, alkaline_earth, alkaline_metal, alloyed, alum, aluminiferous, ammonia_alum, ammonium_alum, anti-sway_bar, antimonial, argentiferous, auriferous, bar, base, base_metal, blister_copper, brazen, bronze, bullion, calcium_ion, ceric, cerous, chalybeate, cobalt_60, coin_blank, cupric, cuprous, drawbar, factor_IV, fine, gilded, gold, gold-bearing, golden, heavy_metal, mercurial, mercuric, mercurous, metal, metal_filing, metallic, metallic_element, noble_metal, nonmetal, nonmetallic, nugget, pig, planchet...

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


s__documentation(s__Metal,s__ChineseLanguage,'" Metal 是能传热和电 的 ElementalSubstance,它有 光泽、能反射光的许多颜色,并且可以打造成片材或拉成线。 约有80%的已知化学元素(ElementalSubstance) 是金属。"')

chinese_format.kif 1603-1605
s__documentation(s__Metal,s__EnglishLanguage,'"A Metal is an ElementalSubstance that conducts heat and electricity, is shiny and reflects many colors of light, and can be hammered into sheets or drawn into wire. About 80% of the known chemical elements (ElementalSubstances) are metals."')

Merge.kif 1025-1028
s__externalImage(s__Metal,'"http://upload.wikimedia.org/wikipedia/commons/a/a9/ Hot_metalwork.jpg"')

pictureList.kif 1848-1848
s__externalImage(s__Metal,'"http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ Hot_metalwork.jpg/ 250px-Hot_metalwork.jpg"')

pictureList.kif 1180-1180
s__instance(s__ElementalSubstance,s__SetOrClass)

s__instance(s__Metal,s__SetOrClass)

s__subclass(s__Metal,s__ElementalSubstance)

Merge.kif 1023-1023 Metal is a subclass of elemental substance

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


s__industryProductType(s__MetallurgyIndustry,s__Metal)

Economy.kif 1792-1792 Metal is an industry product type of metallurgy industry
s__termFormat(s__ChineseLanguage,s__Metal,'"金属"')

chinese_format.kif 820-820
s__termFormat(s__EnglishLanguage,s__Metal,'"metal"')

english_format.kif 847-847

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4084-4116

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


( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__FabricatedMetalProductManufacturing))
       =>
       (( ? [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__Manufacture) &
                     s__instance(V__THING,s__Metal) &
                     s__patient(V__EV,V__THING)
                   &
                   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 4232-4248
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__NonmetallicMineralProductManufacturing))
       =>
       (( ? [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__Manufacture) &
                     ~(s__instance(V__THING,s__Metal))
                     &
                     s__instance(V__THING,s__PureSubstance) &
                     s__patient(V__EV,V__THING)
                   &
                   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 3697-3715
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__PrimaryMetalManufacturing))
       =>
       (( ? [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__Manufacture) &
                     s__instance(V__THING,s__Metal) &
                     s__patient(V__EV,V__THING)
                   &
                   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 3950-3966
( ! [V__ADAPT] :
   ((s__instance(V__ADAPT,s__OutletAdapter) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__ADAPT)
             &
             s__material(s__Metal,V__ADAPT))))))
)
)

Mid-level-ontology.kif 24656-24663
( ! [V__ALLOY] :
   ((s__instance(V__ALLOY,s__MetallicAlloy) =>
       (( ? [V__METAL1, V__METAL2] :
           ((s__instance(V__METAL1,s__Metal) &
               s__instance(V__METAL2,s__Metal) &
               ~((V__METAL1 = V__METAL2))
               &
               s__part(V__METAL1,V__ALLOY)
             &
             s__part(V__METAL2,V__ALLOY))))))
)
)

Mid-level-ontology.kif 8409-8417
( ! [V__BB] :
   ((s__instance(V__BB,s__BallBearing) =>
       (s__material(s__Metal,V__BB)))
   )
)

Cars.kif 1409-1411
( ! [V__BTS] :
   ((s__instance(V__BTS,s__BimetalTemperatureSensor) =>
       (( ? [V__M1, V__M2] :
           ((s__instance(V__M1,s__Metal) &
               s__instance(V__M2,s__Metal) &
               s__part(V__M1,V__BTS)
             &
             s__part(V__M2,V__BTS)
           &
           ~((V__M1 = V__M2)))))))
)
)

Cars.kif 4073-4082
( ! [V__C] :
   ((s__subclass(V__C,s__Substance) =>
       ((s__instance(V__C,s__Carabiner) =>
           (s__material(V__C,s__Metal)))))
     )
   )

Mid-level-ontology.kif 29492-29494
( ! [V__CL] :
   ((s__instance(V__CL,s__ChainLink) =>
       (s__material(s__Metal,V__CL)))
   )
)

Cars.kif 4432-4434
( ! [V__COIN] :
   ((s__instance(V__COIN,s__CurrencyCoin) =>
       (( ? [V__METAL] :
           ((s__subclass(V__METAL,s__Substance) &
               s__instance(V__METAL,s__Class) &
               (s__subclass(V__METAL,s__Metal) &
                 s__material(V__METAL,V__COIN)))))))
   )
)

Mid-level-ontology.kif 3534-3539
( ! [V__IRON] :
   ((s__instance(V__IRON,s__FabricIron) =>
       (( ? [V__BASE] :
           ((s__instance(V__BASE,s__CorpuscularObject) &
               (s__bottom(V__BASE,V__IRON)
               &
               s__material(s__Metal,V__BASE)
             &
             s__attribute(V__BASE,s__Flat)))))))
)
)

Mid-level-ontology.kif 23841-23847
( ! [V__SI] :
   ((s__instance(V__SI,s__SolderingIron) =>
       (( ? [V__X] :
           ((s__instance(V__X,s__CorpuscularObject) &
               (s__part(V__X,V__SI)
               &
               s__material(s__Metal,V__X)))))))
)
)

Mid-level-ontology.kif 5312-5317
( ! [V__SKI] :
   ((s__subclass(V__SKI,s__Substance) =>
       ((s__instance(V__SKI,s__SnowSki) =>
           (( ? [V__MAT] :
               ((s__material(V__SKI,V__MAT)
                 &
                 (s__instance(V__MAT,s__Metal) |
                   s__instance(V__MAT,s__Wood) |
                   s__instance(V__MAT,s__Plastic)))))))))
   )
)

Sports.kif 938-946
( ! [V__WIRE] :
   ((s__instance(V__WIRE,s__Wire) =>
       (s__material(s__Metal,V__WIRE)))
   )
)

Mid-level-ontology.kif 3546-3548
( ! [V__X] :
   ((s__instance(V__X,s__ElectricalPlug) =>
       (s__material(s__Metal,V__X)))
   )
)

Mid-level-ontology.kif 24623-24625


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