TreeView 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 1055-1058
(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 1053-1053	Metal is a subclass of elemental substance

appearance as argument number 2

(industryProductType MetallurgyIndustry Metal)	Economy.kif 1799-1799	Metal is an industry product type of metallurgy industry
(termFormat ChineseLanguage Metal "金属")	chinese_format.kif 820-820
(termFormat EnglishLanguage Metal "metal")	english_format.kif 842-842

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

If an object is an instance of bi-metal temperature sensor and another object is an instance of metal and a third object is an instance of metal and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object and an entity is an instance of temperature measure and another entity is an instance of temperature measure and a real number is an instance of length measure and another real number is an instance of length measure and a third real number is an instance of length measure and a fourth real number is an instance of length measure and the entity is not equal to the other entity and a time position is not equal to another time position and the measure of the object is the entity and the measure of the other object is the real number and the measure of the third object is the other real number holds during the time position and the measure of the object is the other entity and the measure of the other object is the third real number and the measure of the third object is the fourth real number holds during the other time position,
then the real number and the other real number is not equal to the third real number and the fourth real number

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 4225-4241	If a collection is an instance of organization and fabricated metal product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of metal and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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 a collection is an instance of organization and nonmetallic mineral product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is not an instance of metal and the entity is an instance of pure substance and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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 a collection is an instance of organization and primary metal manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of metal and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25335-25342	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object 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 8521-8529	If an object is an instance of metallic alloy, then there exist another object and a third object such that the other object is an instance of metal and the third object is an instance of metal and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (instance ?BB BallBearing) (material Metal ?BB))	Cars.kif 1409-1411	If a corpuscular object is an instance of ball bearing, then the corpuscular object 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 4073-4082	If an object is an instance of bi-metal temperature sensor, then there exist another object and a third object such that the other object is an instance of metal and the third object is an instance of metal and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third object
(=> (instance ?C Carabiner) (material ?C Metal))	Mid-level-ontology.kif 30172-30174	If a kind of substance is an instance of karabiner, then metal is made of a kind of substance
(=> (instance ?CL ChainLink) (material Metal ?CL))	Cars.kif 4432-4434	If a corpuscular object is an instance of chain link, then the corpuscular object is made of metal
(=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN))))	Mid-level-ontology.kif 3552-3557	If a corpuscular object is an instance of currency coin, then there exists a kind of substance such that a kind of substance is a subclass of metal and the corpuscular object is made of the kind of substance
(=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat))))	Mid-level-ontology.kif 24521-24527	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and the corpuscular object is made of metal and flat is an attribute of the corpuscular object
(=> (instance ?SI SolderingIron) (exists (?X) (and (part ?X ?SI) (material Metal ?X))))	Mid-level-ontology.kif 5337-5342	If an object is an instance of soldering iron, then there exists a corpuscular object such that the corpuscular object is a part of the object and the corpuscular object is made of metal
(=> (instance ?SKI SnowSki) (exists (?MAT) (and (material ?SKI ?MAT) (or (instance ?MAT Metal) (instance ?MAT Wood) (instance ?MAT Plastic)))))	Sports.kif 967-975	If a kind of substance is an instance of ski, then there exists a corpuscular object such that the corpuscular object is made of a kind of substance and the corpuscular object is an instance of metal or the corpuscular object is an instance of wood or the corpuscular object is an instance of plastic
(=> (instance ?WIRE Wire) (material Metal ?WIRE))	Mid-level-ontology.kif 3564-3566	If a corpuscular object is an instance of wire, then the corpuscular object is made of metal
(=> (instance ?X ElectricalPlug) (material Metal ?X))	Mid-level-ontology.kif 25302-25304	If a corpuscular object is an instance of electrical plug, then the corpuscular object is made of metal

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: