| Metal
| |
| 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 1113-1116 | |
| (documentation Metal JapaneseLanguage "Metal は ElementalSubstance で、熱と電気を伝導し、 光沢があり、多色の光を反射する。そしてそれはシートに打ち込まれたりワイヤーに巻き込まれたりする。 既知の化学元素の約80％ (ElementalSubstances) は金属である。") | japanese_format.kif 182-184 | |
| (documentation Metal SpanishLanguage "Un Metal es una ElementalSubstance que conduce el calor y la electricidad, brilla, refleja muchos colores de luz, se martilla en chapas metálicas y se convierte en alambre. Casi 80 % de las sustancias químicas conocidas (ElementalSubstances) son de metal.") | spanish_format.kif 216-219 | |
| (externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Hot_metalwork.jpg") | pictureList.kif 1846-1846 | |
| (externalImage Metal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a9/ Hot_metalwork.jpg/ 250px_Hot_metalwork.jpg") | pictureList.kif 1179-1179 | |
| (subclass Metal ElementalSubstance) | Merge.kif 1111-1111 |
| appearance as argument number 2 |
|
|
| (industryProductType MetallurgyIndustry Metal) | Economy.kif 1913-1913 | |
| (termFormat ChineseLanguage Metal "金属") | chinese_format.kif 820-820 | |
| (termFormat EnglishLanguage Metal "metal") | english_format.kif 842-842 | |
| (termFormat FrenchLanguage Metal "m�tal") | french_format.kif 496-496 | |
| (termFormat Hindi Metal "dhaatu") | terms-hindi.txt 29-29 | |
| (termFormat ItalianLanguage Metal "Metallo") | terms-it.txt 32-32 | |
| (termFormat JapaneseLanguage Metal "金属") | japanese_format.kif 2181-2181 | |
| (termFormat PortugueseLanguage Metal "Metal") | portuguese_format.kif 448-448 | |
| (termFormat cb Metal "metal") | terms-cb.txt 33-33 | |
| (termFormat cz Metal "kov") | terms-cz.txt 63-63 | |
| (termFormat de Metal "Metall") | terms-de.txt 322-322 | |
| (termFormat ro Metal "metal") | relations-ro.kif 517-517 | |
| (termFormat tg Metal "metal") | terms-tg.txt 33-33 |
| 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 4142-4174 | |
| (=> (and (instance ?M Metal) (instance ?O Oxidation) (patient ?O Metal)) (exists (?C) (and (instance ?C Corrosion) (patient ?C ?M) (causes ?O ?C)))) |
Transportation.kif 4271-4280 | |
| (=> (and (instance ?P ThreeDPrinting) (instance ?X Metal) (resource ?P ?X) (instrument ?P ?I)) (instance ?I Metallic3DPrinter)) |
QoSontology.kif 569-575 |
| 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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1054-1061 | |
| (=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 27854-27861 | |
| (=> (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 10119-10127 | |
| (=> (instance ?BB BallBearing) (material Metal ?BB)) |
Cars.kif 1409-1411 | |
| (=> (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 4131-4140 | |
| (=> (instance ?C Carabiner) (material Metal ?C)) |
Mid-level-ontology.kif 32713-32715 | |
| (=> (instance ?CL ChainLink) (material Metal ?CL)) |
Cars.kif 4490-4492 | |
| (=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN)))) |
Mid-level-ontology.kif 4043-4048 | |
| (=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat)))) |
Mid-level-ontology.kif 26839-26845 | |
| (=> (instance ?SE ShrapnelExplosion) (exists (?M ?T) (and (instance ?M Metal) (instance ?T Translocation) (causes ?SE ?T) (objectTransferred ?T ?M)))) |
Medicine.kif 6299-6306 | |
| (=> (instance ?SI SolderingIron) (exists (?X) (and (part ?X ?SI) (material Metal ?X)))) |
Mid-level-ontology.kif 6586-6591 | |
| (=> (instance ?WIRE Wire) (material Metal ?WIRE)) |
Mid-level-ontology.kif 4055-4057 | |
| (=> (instance ?X ElectricalPlug) (material Metal ?X)) |
Mid-level-ontology.kif 27821-27823 |
|
|
|