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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Metal

Sigma KEE - Metal
Metal
บาร์, แท่ง, ทองแท่ง, ดรอว์บาร์, แท่งตะกั่ว, เหรียญตัวเปล่า, เหรียญโลหะตัวเปล่า, แผ่น, แผ่นเหล็ก, แผ่นโลหะ, เหล็กลับมีด, เครื่องค้นหาโครงเคร่า, แผ่นดีบุก, แผ่นดีบุก, ชิ้นงาน, ก้อนโลหะมีค่า, โลหะที่มีค่า, โลหะล้ำค่า, เหรียญทอง, เหรียญเงิน, โลหะหนัก, โลหะไร้สกุล, โลหะเทอร์เบียม, ธาตุโลหะ, โลหะ, โลหะมีสกุล, โลหะมีตระกูล, แอลัม, โปรแตสเซียมแอลัม, สารส้ม, โคบอลต์ 60, ทองบริสุทธิ์, ทอง 24 กะรัต, ทอง 24 เค, ทองคำบริสุทธิ์, พลูโตเนียม 239, สตรอนเซียม 90, ยูเรเนียม 235, ยูเรเีนียม 238, โลหะแอลคาไลน์, โลหะแอลคาไลน์เอิร์ท, ทองแดงบลิสเตอร์, เศษเหล็ก, โลหะสเปลเตอร์, แคลเซียมไอออน, โลหะ, ที่เป็นโลหะ, ที่ประกอบด้วยอะลูมิเนียม, ที่ประกอบด้วยทอง, บรอนซ์, ที่เป็นทองสัมฤทธิ์...

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


(documentation Metal ChineseLanguage " Metal 是能传热和电 的 ElementalSubstance,它有 光泽、能反射光的许多颜色,并且可以打造成片材或拉成线。 约有80%的已知化学元素(ElementalSubstance) 是金属。") Merge.kif 1132-1134
(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 1128-1131
(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 1127-1127

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1792-1792
(relatedInternalConcept MetalArtifact Metal) Society.kif 1390-1390
(termFormat ChineseLanguage Metal "金属") chinese_format.kif 820-820
(termFormat EnglishLanguage Metal "metal") english_format.kif 507-507
(termFormat FrenchLanguage Metal "m�tal") french_format.kif 496-496
(termFormat Hindi Metal "dhaatu") terms-hindi.txt 29-29
(termFormat ItalianLanguage Metal "Metallo") terms-it.txt 30-30
(termFormat PortugueseLanguage Metal "Metal") portuguese_format.kif 448-448
(termFormat ar Metal "مَعْدَن") arabic_format.kif 232-232
(termFormat cb Metal "metal") terms-cb.txt 33-33
(termFormat cz Metal "kov") terms-cz.txt 63-63
(termFormat tg Metal "metal") terms-tg.txt 33-33

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))
        (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 4047-4077

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 4232-4248
(=>
    (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 3697-3715
(=>
    (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 3950-3966
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23874-23881
(=>
    (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 8591-8599
(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))
Cars.kif 1404-1406
(=>
    (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 4036-4045
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))
Cars.kif 4393-4395
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))
Mid-level-ontology.kif 4135-4140
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 23048-23054
(=>
    (instance ?ITEM MetalArtifact)
    (or
        (instance ?ITEM Metal)
        (exists (?PART)
            (and
                (instance ?PART Metal)
                (or
                    (part ?PART ?ITEM)
                    (component ?PART ?ITEM))))))
Society.kif 1392-1401
(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))
Mid-level-ontology.kif 5886-5891
(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 889-897
(=>
    (instance ?WIRE Wire)
    (material Metal ?WIRE))
Mid-level-ontology.kif 4147-4149
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))
Mid-level-ontology.kif 23841-23843


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