Metal - Sigma Knowledge base Browser

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 1022-1025
(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 1020-1020	subclass Metal and ElementalSubstance

appearance as argument number 2

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

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

instance Object and BimetalTemperatureSensor instance Object and Metal instance Object and Metal equal Object and Object part Object and Object part Object and Object instance Entity and TemperatureMeasure instance Entity and TemperatureMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure instance Quantity and LengthMeasure equal Entity and Entity equal TimePosition and TimePosition holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity holdsDuring TimePosition and measure Object and Entity measure Object and Quantity measure Object and Quantity
equal DivisionFn Quantity and Quantity and DivisionFn Quantity and Quantity

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	instance Collection and Organization attribute Collection and FabricatedMetalProductManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Metal patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (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	instance Collection and Organization attribute Collection and NonmetallicMineralProductManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Metal instance Entity and PureSubstance patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (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 Collection and Organization attribute Collection and PrimaryMetalManufacturing Agent Object member Object and Collection agent Object and Agent Entity Object and Agent instance Agent and Manufacture instance Entity and Metal patient Agent and Entity member Object and Collection instance Agent and Selling agent Agent and Object patient Agent and Entity
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 23992-23999	instance CorpuscularObject and OutletAdapter Collection instance Collection and Collection memberType Collection and Hole part Collection and CorpuscularObject material Metal and CorpuscularObject
(=> (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 8573-8581	instance Object and MetallicAlloy Object Object instance Object and Metal instance Object and Metal equal Object and Object part Object and Object part Object and Object
(=> (instance ?BB BallBearing) (material Metal ?BB))	Cars.kif 1405-1407	instance CorpuscularObject and BallBearing material Metal and CorpuscularObject
(=> (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 4044-4053	instance Object and BimetalTemperatureSensor Object Object instance Object and Metal instance Object and Metal part Object and Object part Object and Object equal Object and Object
(=> (instance ?CL ChainLink) (material Metal ?CL))	Cars.kif 4403-4405	instance CorpuscularObject and ChainLink material Metal and CorpuscularObject
(=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN))))	Mid-level-ontology.kif 4137-4142	instance CorpuscularObject and CurrencyCoin Substance subclass Substance and Metal material Substance and CorpuscularObject
(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat))))	Mid-level-ontology.kif 23117-23123	instance SelfConnectedObject and FabricIron CorpuscularObject bottom CorpuscularObject and SelfConnectedObject material Metal and CorpuscularObject attribute CorpuscularObject and Flat
(=> (instance ?SI SolderingIron) (exists (?X) (and (part ?X ?SI) (material Metal ?X))))	Mid-level-ontology.kif 5892-5897	instance Object and SolderingIron CorpuscularObject part CorpuscularObject and Object material Metal and CorpuscularObject
(=> (instance ?SKI SnowSki) (exists (?MAT) (and (material ?SKI ?MAT) (or (instance ?MAT Metal) (instance ?MAT Wood) (instance ?MAT Plastic)))))	Sports.kif 891-899	instance Substance and SnowSki CorpuscularObject material Substance and CorpuscularObject instance CorpuscularObject and Metal instance CorpuscularObject and Wood instance CorpuscularObject and Plastic
(=> (instance ?WIRE Wire) (material Metal ?WIRE))	Mid-level-ontology.kif 4149-4151	instance CorpuscularObject and Wire material Metal and CorpuscularObject
(=> (instance ?X ElectricalPlug) (material Metal ?X))	Mid-level-ontology.kif 23959-23961	instance CorpuscularObject and ElectricalPlug material Metal and CorpuscularObject

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

KB Term:			Term intersection

English Word: