| Manufacture(manufacture) | | assembly, bootleg, bootlegging, capacity, churn_out, coin, construct, cottage_industry, crank_out, create, crop, desktop_publishing, draw, fabricate, fabrication, factory-made, generation, gravure, grind_out, industrially, industry, make, manufacture, manufactured, manufacturing, mass-produce, mass-produced, mass_production, mint, newspeak, output, overproduce, overproduction, overrun, photogravure, preassemble, prefabricate, prefabrication, produce, production, ready-made, republication, republishing, rotogravure, serialisation, serialization, sericulture, strike, turn_out, underproduce... |
| appearance as argument number 1 |
|
|
| (subclass Manufacture Making) | Merge.kif 13017-13017 | Manufacture is a subclass of making |
| (documentation Manufacture EnglishLanguage "The Making of Artifacts on a mass scale.") | Merge.kif 13018-13019 | Manufacture is a subclass of making |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest)))) |
Economy.kif 5546-5558 | If X is an instance of forest product, Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, and Z is an instance of organism, then there exist W, V such that W is an instance of agriculture, Z is a result of W, W is located at V, and V is an instance of forest |
| (=> (and (instance ?X ReadOnlyMemoryDataStorage) (instance ?FABRICATION Manufacture) (result ?FABRICATION ?X)) (not (modalAttribute (exists (?WRITE1 ?DATA1 ?WRITE2) (and (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (earlier (WhenFn ?FABRICATION) (WhenFn ?WRITE1)) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility))) |
Media.kif 768-788 | If X is an instance of read only memory data storage, Y is an instance of manufacture, and X is a result of Y, then the statement there don't exist Z, W, V such that V is an instance of content development or V is an instance of deleting data, the time of existence of Y happens earlier than the time of existence of Z, X is a patient of Z, W is a patient of Z, and W is stored on X holds during immediately after the time of existence of Z doesn't have the modal force of possibility |
| consequent |
|
|
| (=> (instance ?PRODUCT Product) (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (result ?MANUFACTURE ?PRODUCT)))) |
Merge.kif 15867-15872 | If X is an instance of product, then there exists Y such that Y is an instance of manufacture and X is a result of Y |
| (=> (instance ?ORG Manufacturer) (hasPurpose ?ORG (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (instance ?MANUFACTURE CommercialService) (agent ?MANUFACTURE ?ORG))))) |
Merge.kif 16401-16408 | If X is an instance of manufacturer, then X has the purpose there exists Y such that Y is an instance of manufacture, Y is an instance of commercial service, and X is an agent of Y |
| (=> (instance ?PLANT IndustrialPlant) (hasPurpose ?PLANT (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?PLANT))))) |
Mid-level-ontology.kif 17223-17229 | If X is an instance of industrial plant, then X has the purpose there exists Y such that Y is an instance of manufacture and Y is located at X |
| (=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV))))) |
Economy.kif 1029-1050 | If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W |
| (=> (and (instance ?X PartInspection) (patient ?X ?P) (instance ?P SelfConnectedObject)) (exists (?A ?M) (and (part ?P ?A) (instance ?A Artifact) (instance ?M Manufacture) (result ?M ?A) (subProcess ?X ?M)))) |
Economy.kif 2054-2065 | If X is an instance of part inspection, Y is a patient of X, and Y is an instance of self connected object, then there exist Z, W such that Y is a part of Z, Z is an instance of artifact, W is an instance of manufacture, Z is a result of W, and X is a subprocess of W |
| (=> (and (instance ?X OrderingParts) (patient ?X ?P)) (exists (?A ?M) (and (part ?P ?A) (instance ?A Artifact) (instance ?M Manufacture) (result ?M ?A) (subProcess ?X ?M)))) |
Economy.kif 2085-2095 | If X is an instance of Ordering parts and Y is a patient of X, then there exist Z, W such that Y is a part of Z, Z is an instance of artifact, W is an instance of manufacture, Z is a result of W, and X is a subprocess of W |
| (=> (instance ?P ProductAssembly) (exists (?M) (and (subProcess ?P ?M) (instance ?M Manufacture)))) |
Economy.kif 2128-2133 | If X is an instance of Product assembly, then there exists Y such that X is a subprocess of Y and Y is an instance of manufacture |
| (=> (instance ?P AnimalProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Animal) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5349-5360 | If X is an instance of animal product, then there exist Y, Z, W such that Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, Z is an instance of animal or W is a part of Z, and W is an instance of anatomical structure |
| (=> (instance ?P PlantProduct) (exists (?M ?A ?B) (and (instance ?M Manufacture) (result ?M ?P) (patient ?M ?A) (or (instance ?A Plant) (and (part ?B ?A) (instance ?B AnatomicalStructure)))))) |
Economy.kif 5527-5538 | If X is an instance of plant product, then there exist Y, Z, W such that Y is an instance of manufacture, X is a result of Y, Z is a patient of Y, Z is an instance of plant or W is a part of Z, and W is an instance of anatomical structure |
| (=> (attribute ?X IndustrialRawMaterial) (hasPurpose ?X (exists (?M) (and (instance ?M Manufacture) (resource ?M ?X))))) |
Economy.kif 6151-6157 | If industrial raw material is an attribute of X, then X has the purpose there exists Y such that Y is an instance of manufacture and X is a resource for Y |
| (=> (attribute ?X Machinery) (hasPurpose ?X (exists (?M) (and (instance ?M Manufacture) (instrument ?M ?X))))) |
Economy.kif 6184-6190 | If machinery is an attribute of X, then X has the purpose there exists Y such that Y is an instance of manufacture and X is an instrument for Y |
| (=> (instance ?GAS GoodsAndServices) (and (instance ?GPA GeopoliticalArea) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y) (located ?M ?GPA)) (member ?PRODUCT ?GAS)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y) (located ?SERVICE ?GPA)) (member ?SERVICE ?GAS)))) |
Economy.kif 6901-6922 | If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X |
| (=> (instance ?IED IED) (not (exists (?M) (and (instance ?M Manufacture) (result ?M ?IED))))) |
Medicine.kif 6073-6079 | If X is an instance of improvised explosive device, then there doesn't exist Y such that Y is an instance of manufacture and X is a result of Y |
| (=> (instance ?X FactoryBuilding) (hasPurpose ?X (exists (?EV) (and (instance ?EV Manufacture) (eventLocated ?EV ?X))))) |
Society.kif 1088-1094 | If X is an instance of FactoryBuilding, then X has the purpose there exists Y such that Y is an instance of manufacture and Y is located at X |
| (=> (instance ?PLANT Factory) (hasPurpose ?PLANT (exists (?MANUFACTURE) (and (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?PLANT))))) |
Society.kif 1107-1112 | If X is an instance of Factory, then X has the purpose there exists Y such that Y is an instance of manufacture and Y is located at X |
| (=> (instance ?PLANT CommercialFarm) (hasPurpose ?PLANT (exists (?MANUFACTURE ?AA) (and (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?PLANT) (instance ?AA AgriculturalArtifact) (result ?MANUFACTURE ?AA))))) |
Society.kif 1493-1500 | If X is an instance of CommercialFarm, then X has the purpose there exist Y, Z such that Y is an instance of manufacture, Y is located at X, Z is an instance of AgriculturalArtifact, and Z is a result of Y |
| (=> (instance ?PLANT MineBusiness) (exists (?MINERAL ?MINE ?MANUFACTURE) (and (instance ?MINE Mine) (instance ?MANUFACTURE Manufacture) (eventLocated ?MANUFACTURE ?MINE) (result ?MANUFACTURE ?MINERAL) (instance ?MINERAL MiningArtifact)))) |
Society.kif 1531-1539 | If X is an instance of MineBusiness, then there exist Y, Z, W such that Z is an instance of mine, W is an instance of manufacture, W is located at Z, Y is a result of W, and Y is an instance of MiningArtifact |
| (=> (and (instance ?ORG Organization) (attribute ?ORG FoodManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Cooking) (instance ?EV Manufacture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1355-1371 | If X is an instance of organization and food 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 cooking (6) Y is an instance of manufacture (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 BeverageAndTobaccoProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Beverage) (instance ?THING TobaccoProduct)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1831-1849 | If X is an instance of organization and beverage and tobacco 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 beverage or W is an instance of tobacco product (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 TextileMills)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Fabric) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1938-1954 | If X is an instance of organization and textile mills 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 fabric (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 TextileProductMills)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Fabric) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2079-2095 | If X is an instance of organization and textile product mills 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 fabric (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 ApparelManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Clothing) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2188-2204 | If X is an instance of organization and apparel 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 clothing (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 LeatherAndAlliedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Clothing) (instance ?THING Fabric)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2451-2469 | If X is an instance of organization and leather and allied 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 clothing or W is an instance of fabric (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 WoodProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Wood) (material Wood ?THING)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 2557-2575 | If X is an instance of organization and wood 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 wood or W is made of wood (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 PaperManufacturing)) (exists (?MEM ?EV ?THING) (and (instance ?MEM Industry) (member ?MEM ?ORG) (instance ?EV Manufacture) (agent ?EV ?MEM) (patient ?EV ?THING) (material Paper ?THING)))) |
naics.kif 2711-2722 | If X is an instance of organization and paper manufacturing is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of industry (3) Y is a member of X (4) Z is an instance of manufacture (5) Y is an agent of Z (6) W is a patient of Z (7) W is made of paper |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|