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


KB Term:  Term intersection
English Word: 

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


(subclass Metal ElementalSubstance) Merge.kif 1136-1136 Metal is a subclass of elemental substance
(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 1138-1141 Metal is a subclass of elemental substance
(externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ Hot_metalwork.jpg/ 250px_Hot_metalwork.jpg") pictureList.kif 1179-1179 Metal is a subclass of elemental substance
(externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Hot_metalwork.jpg") pictureList.kif 1846-1846 Metal is a subclass of elemental substance

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


(industryProductType MetallurgyIndustry Metal) Economy.kif 1908-1908 Metal is an industry product type of metallurgy industry
(relatedInternalConcept MetalArtifact Metal) Society.kif 1399-1399 MetalArtifact is internally related to metal
(termFormat EnglishLanguage Metal "metal") english_format.kif 842-842 MetalArtifact is internally related to metal

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 4159-4191 If All of the following hold: (1) X is an instance of bi_metal temperature sensor (2) Y is an instance of metal (3) Z is an instance of metal (4) equal Y and Z (5) Y is a part of X (6) Z is a part of X (7) W is an instance of temperature measure (8) V is an instance of temperature measure (9) U is an instance of length measure (10) T is an instance of length measure (11) S is an instance of length measure (12) R is an instance of length measure (13) equal W and V (14) equal Q and P (15) the measure of X is W, the measure of Y is U, and the measure of Z is T holds during Q (16) the measure of X is V, the measure of Y is S, and the measure of Z is R holds during P, then equal U, T, S, and R
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?X Metal)
        (resource ?P ?X)
        (instrument ?P ?I))
    (instance ?I Metallic3DPrinter))		 QoSontology.kif 569-575 If X is an instance of 3D printing, Y is an instance of metal, Y is a resource for X, and Z is an instrument for X, then Z is an instance of metallic 3D printer
(=>
    (and
        (instance ?M Metal)
        (instance ?O Oxidation)
        (patient ?O Metal))
    (exists (?C)
        (and
            (instance ?C Corrosion)
            (patient ?C ?M)
            (causes ?O ?C))))		 Transportation.kif 4790-4799 If X is an instance of metal, Y is an instance of oxidating, and metal is a patient of Y, then there exists Z such that Z is an instance of corrosion, X is a patient of Z, and Y causes Z

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


(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))		 Cars.kif 1409-1411 If X is an instance of ball bearing, then X is made of metal
(=>
    (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 4148-4157 If X is an instance of bi_metal temperature sensor, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of metal (3) Z is an instance of metal (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z
(=>
    (instance ?CL ChainLink)
    (material Metal ?CL))		 Cars.kif 4507-4509 If X is an instance of chain link, then X is made of metal
(=>
    (instance ?DEVICE IncandescentBulb)
    (hasPurpose ?DEVICE
        (exists (?HEATING ?METAL)
            (and
                (instance ?HEATING Heating)
                (instance ?METAL Metal)
                (patient ?HEATING ?METAL)
                (agent ?HEATING ?DEVICE)
                (hasPurpose ?HEATING
                    (exists (?RVL)
                        (and
                            (instance ?RVL RadiatingVisibleLight)
                            (instrument ?RVL ?METAL))))))))		 HouseholdAppliances.kif 1059-1072 If X is an instance of incandescent bulb, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of heating (3) Z is an instance of metal (4) Z is a patient of Y (5) X is an agent of Y (6) Y has the purpose there exists W such that W is an instance of radiating visible light (7) Z is an instrument for W
(=>
    (instance ?SE ShrapnelExplosion)
    (exists (?M ?T)
        (and
            (instance ?M Metal)
            (instance ?T Translocation)
            (causes ?SE ?T)
            (objectTransferred ?T ?M))))		 Medicine.kif 6274-6281 If X is an instance of shrapnel explosion, then there exist Y, Z such that Y is an instance of metal, Z is an instance of translocation, X causes Z, and the object transferred in Z is Y
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 4060-4065 If X is an instance of coin, then there exists Y such that Y is a subclass of metal and X is made of Y
(=>
    (instance ?WIRE Wire)
    (material Metal ?WIRE))		 Mid-level-ontology.kif 4072-4074 If X is an instance of wire, then X is made of metal
(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))		 Mid-level-ontology.kif 6609-6614 If X is an instance of soldering iron, then there exists Y such that Y is a part of X and Y is made of metal
(=>
    (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 10164-10172 If X is an instance of metallic alloy, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of metal (3) Z is an instance of metal (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))		 Mid-level-ontology.kif 27570-27576 If X is an instance of iron, then there exists Y such that the bottom of X is Y, Y is made of metal, and flat is an attribute of Y
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))		 Mid-level-ontology.kif 28585-28587 If X is an instance of electrical plug, then X is made of metal
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 28618-28625 If X is an instance of outlet adapter, then there exists Y such that Y is an instance of collection, hole is a member type of Y, Y is a part of X, and X is made of metal
(=>
    (instance ?C Carabiner)
    (material Metal ?C))		 Mid-level-ontology.kif 33476-33478 If X is an instance of karabiner, then X is made of metal
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))		 Sports.kif 1054-1061 If X is an instance of ski and X is made of Y, then At least one of the following holds: (1) Y is a subclass of metal (2) Y is a subclass of wood (3) Y is a subclass of plastic
(=>
    (instance ?ITEM MetalArtifact)
    (or
        (instance ?ITEM Metal)
        (exists (?PART)
            (and
                (instance ?PART Metal)
                (or
                    (part ?PART ?ITEM)
                    (component ?PART ?ITEM))))))		 Society.kif 1401-1410 If X is an instance of MetalArtifact, then X is an instance of metal or there exists Y such that Y is an instance of metal and Y is a part of X or Y is a component of X
(=>
    (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 If X is an instance of organization and nonmetallic mineral product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is not an instance of metal (7) W is an instance of pure substance (8) W is a patient of Y (9) V is a member of X (10) U is an instance of selling (11) V is an agent of U (12) W is a patient of U
(=>
    (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 If X is an instance of organization and primary metal manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of metal (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U
(=>
    (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 If X is an instance of organization and fabricated metal product manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of metal (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U


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