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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Metal
Metal

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


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

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1792-1792
(termFormat ChineseLanguage Metal "金属") chinese_format.kif 820-820
(termFormat EnglishLanguage Metal "metal") english_format.kif 521-521
(termFormat JapaneseLanguage Metal "金属") english_format.kif 522-522

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 23954-23961
(=>
    (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 23079-23085
(=>
    (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 23921-23923


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners