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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Metal
Metal(m�tal)

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 1113-1116
(documentation Metal JapaneseLanguage "MetalElementalSubstance で、熱と電気を伝導し、 光沢があり、多色の光を反射する。そしてそれはシートに打ち込まれたりワイヤーに巻き込まれたりする。 既知の化学元素の約80% (ElementalSubstances) は金属である。") japanese_format.kif 182-184
(documentation Metal SpanishLanguage "Un Metal es una ElementalSubstance que conduce el calor y la electricidad, brilla, refleja muchos colores de luz, se martilla en chapas metálicas y se convierte en alambre. Casi 80 % de las sustancias químicas conocidas (ElementalSubstances) son de metal.") spanish_format.kif 216-219
(externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Hot_metalwork.jpg") pictureList.kif 1846-1846
(externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ Hot_metalwork.jpg/ 250px_Hot_metalwork.jpg") pictureList.kif 1179-1179
(subclass Metal ElementalSubstance) Merge.kif 1111-1111 M�tal est une sous-classe de substance �l�mentaire

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1913-1913 industryProductType MetallurgyIndustry and m�tal
(termFormat ChineseLanguage Metal "金属") chinese_format.kif 820-820 industryProductType MetallurgyIndustry and m�tal
(termFormat EnglishLanguage Metal "metal") english_format.kif 842-842 industryProductType MetallurgyIndustry and m�tal
(termFormat FrenchLanguage Metal "m�tal") french_format.kif 496-496 industryProductType MetallurgyIndustry and m�tal
(termFormat Hindi Metal "dhaatu") terms-hindi.txt 29-29 industryProductType MetallurgyIndustry and m�tal
(termFormat ItalianLanguage Metal "Metallo") terms-it.txt 32-32 industryProductType MetallurgyIndustry and m�tal
(termFormat JapaneseLanguage Metal "金属") japanese_format.kif 2181-2181 industryProductType MetallurgyIndustry and m�tal
(termFormat PortugueseLanguage Metal "Metal") portuguese_format.kif 448-448 industryProductType MetallurgyIndustry and m�tal
(termFormat cb Metal "metal") terms-cb.txt 33-33 industryProductType MetallurgyIndustry and m�tal
(termFormat cz Metal "kov") terms-cz.txt 63-63 industryProductType MetallurgyIndustry and m�tal
(termFormat de Metal "Metall") terms-de.txt 322-322 industryProductType MetallurgyIndustry and m�tal
(termFormat ro Metal "metal") relations-ro.kif 517-517 industryProductType MetallurgyIndustry and m�tal
(termFormat tg Metal "metal") terms-tg.txt 33-33 industryProductType MetallurgyIndustry and m�tal

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 4142-4174
(=>
    (and
        (instance ?M Metal)
        (instance ?O Oxidation)
        (patient ?O Metal))
    (exists (?C)
        (and
            (instance ?C Corrosion)
            (patient ?C ?M)
            (causes ?O ?C))))
Transportation.kif 4274-4283
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?X Metal)
        (resource ?P ?X)
        (instrument ?P ?I))
    (instance ?I Metallic3DPrinter))
QoSontology.kif 569-575

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
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))
Sports.kif 1054-1061
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 27866-27873
(=>
    (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 10124-10132
(=>
    (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 4131-4140
(=>
    (instance ?C Carabiner)
    (material Metal ?C))
Mid-level-ontology.kif 32730-32732
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))
Cars.kif 4490-4492
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 4043-4048
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 26851-26857
(=>
    (instance ?SE ShrapnelExplosion)
    (exists (?M ?T)
        (and
            (instance ?M Metal)
            (instance ?T Translocation)
            (causes ?SE ?T)
            (objectTransferred ?T ?M))))
Medicine.kif 6298-6305
(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))
Mid-level-ontology.kif 6590-6595
(=>
    (instance ?WIRE Wire)
    (material Metal ?WIRE))
Mid-level-ontology.kif 4055-4057
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))
Mid-level-ontology.kif 27833-27835


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