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


KB Term:  Term intersection
English Word: 

  Likely

 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 1174-1174 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 1176-1179 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 3951-3983 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 555-561 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 4814-4823 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 ?S Spear)
    (modalAttribute
        (material Metal ?S) Likely))		 Mid-level-ontology.kif 1247-1250 If X is an instance of spear, then the statement X is made of metal has the modal force of likely
(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))		 Mid-level-ontology.kif 4246-4251 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 4258-4260 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 6772-6777 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 10285-10293 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 27509-27515 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 28507-28509 If X is an instance of electrical plug, then X is made of metal
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE CollectionOfObjects)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 28540-28547 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 33385-33387 If X is an instance of karabiner, then X is made of metal
(=>
    (instance ?BB BallBearing)
    (material Metal ?BB))		 Cars.kif 1323-1325 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 3940-3949 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 4321-4323 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 6312-6319 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
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))		 Sports.kif 1068-1075 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 3684-3702 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 3937-3953 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 4219-4235 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 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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners