| 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 1024-1027 | |
| (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 1022-1022 |
| appearance as argument number 2 |
|
|
| (industryProductType MetallurgyIndustry Metal) | Economy.kif 1792-1792 | |
| (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 4097-4129 |
| 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 | |
| (=> (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 | |
| (=> (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 ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 23998-24005 | |
| (=> (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 8575-8583 | |
| (=> (instance ?BB BallBearing) (material Metal ?BB)) |
Cars.kif 1423-1425 | |
| (=> (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 4086-4095 | |
| (=> (instance ?CL ChainLink) (material Metal ?CL)) |
Cars.kif 4445-4447 | |
| (=> (instance ?COIN CurrencyCoin) (exists (?METAL) (and (subclass ?METAL Metal) (material ?METAL ?COIN)))) |
Mid-level-ontology.kif 4137-4142 | |
| (=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat)))) |
Mid-level-ontology.kif 23123-23129 | |
| (=> (instance ?SI SolderingIron) (exists (?X) (and (part ?X ?SI) (material Metal ?X)))) |
Mid-level-ontology.kif 5892-5897 | |
| (=> (instance ?SKI SnowSki) (exists (?MAT) (and (material ?SKI ?MAT) (or (instance ?MAT Metal) (instance ?MAT Wood) (instance ?MAT Plastic))))) |
Sports.kif 891-899 | |
| (=> (instance ?WIRE Wire) (material Metal ?WIRE)) |
Mid-level-ontology.kif 4149-4151 | |
| (=> (instance ?X ElectricalPlug) (material Metal ?X)) |
Mid-level-ontology.kif 23965-23967 |
|
|
|