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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Metal

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


(documentation Metal ChineseLanguage " Metal 是能传热和电 的 ElementalSubstance,它有 光泽、能反射光的许多颜色,并且可以打造成片材或拉成线。 约有80%的已知化学元素(ElementalSubstance) 是金属。") chinese_format.kif 1603-1605
(documentation Metal 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 1055-1058
(externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Hot_metalwork.jpg") pictureList.kif 1848-1848
(externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ Hot_metalwork.jpg/ 250px-Hot_metalwork.jpg") pictureList.kif 1180-1180
(subclass Metal ElementalSubstance) Merge.kif 1053-1053 Metal is a subclass of elemental substance

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1799-1799 Metal is an industry product type of metallurgy industry
(termFormat ChineseLanguage Metal "金属") chinese_format.kif 820-820
(termFormat EnglishLanguage Metal "metal") english_format.kif 842-842

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


(=>
    (and
        (instance ?BTS BimetalTemperatureSensor)
        (instance ?M1 Metal)
        (instance ?M2 Metal)
        (not
            (equal ?M1 ?M2))
        (part ?M1 ?BTS)
        (part ?M2 ?BTS)
        (instance ?T1 TemperatureMeasure)
        (instance ?T2 TemperatureMeasure)
        (instance ?L1 LengthMeasure)
        (instance ?L2 LengthMeasure)
        (instance ?L3 LengthMeasure)
        (instance ?L4 LengthMeasure)
        (not
            (equal ?T1 ?T2))
        (not
            (equal ?TM1 ?TM2))
        (holdsDuring ?TM1
            (and
                (measure ?BTS ?T1)
                (measure ?M1 ?L1)
                (measure ?M2 ?L2)))
        (holdsDuring ?TM2
            (and
                (measure ?BTS ?T2)
                (measure ?M1 ?L3)
                (measure ?M2 ?L4))))
    (not
        (equal
            (DivisionFn ?L1 ?L2)
            (DivisionFn ?L3 ?L4))))
Cars.kif 4084-4116

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG FabricatedMetalProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Metal)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 4225-4241
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG NonmetallicMineralProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (not
                        (instance ?THING Metal))
                    (instance ?THING PureSubstance)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3690-3708
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PrimaryMetalManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Metal)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3943-3959
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 25335-25342
(=>
    (instance ?ALLOY MetallicAlloy)
    (exists (?METAL1 ?METAL2)
        (and
            (instance ?METAL1 Metal)
            (instance ?METAL2 Metal)
            (not
                (equal ?METAL1 ?METAL2))
            (part ?METAL1 ?ALLOY)
            (part ?METAL2 ?ALLOY))))
Mid-level-ontology.kif 8521-8529
(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))
Cars.kif 1409-1411
(=>
    (instance ?BTS BimetalTemperatureSensor)
    (exists (?M1 ?M2)
        (and
            (instance ?M1 Metal)
            (instance ?M2 Metal)
            (part ?M1 ?BTS)
            (part ?M2 ?BTS)
            (not
                (equal ?M1 ?M2)))))
Cars.kif 4073-4082
(=>
    (instance ?C Carabiner)
    (material ?C Metal))
Mid-level-ontology.kif 30172-30174
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))
Cars.kif 4432-4434
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 3552-3557
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 24521-24527
(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))
Mid-level-ontology.kif 5337-5342
(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 967-975
(=>
    (instance ?WIRE Wire)
    (material Metal ?WIRE))
Mid-level-ontology.kif 3564-3566
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))
Mid-level-ontology.kif 25302-25304


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 3.0 is open source software produced by Articulate Software and its partners